Module Lex_kodkod.A

module A: Ast_kodkod

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