Module Ast_kodkod

module Ast_kodkod: sig .. end

Trivial AST for Kodkod models

type section =

type result =

type 'atom relation = {

	`rel_name : string;`
	`rel_dom : 'atom list list;`

}

val make_rel : string -> 'a list list -> 'a relation

type model = int relation list