Module Trapo.TrapoSetSource

Sourcetype ('q, 'a, 'x, 'y) t
Sourceval format : ('q, 'a, 'x, 'y) MetaTrapo.t -> ('q, 'a, 'x, 'y) t -> string
Sourceval empty : ('q, 'a, 'x, 'y) MetaTrapo.t -> ('q, 'a, 'x, 'y) t
Sourceval mem : ('q, 'a, 'x, 'y) Trapo.t -> ('q, 'a, 'x, 'y) t -> bool
Sourceval is_empty : ('q, 'a, 'x, 'y) t -> bool
Sourceval add : ('q, 'a, 'x, 'y) Trapo.t -> ('q, 'a, 'x, 'y) t -> ('q, 'a, 'x, 'y) t
Sourceval singles : ('q, 'a, 'x, 'y) MetaTrapo.t -> ('q, 'a, 'x, 'y) t
Sourceval fold : (('q, 'a, 'x, 'y) Trapo.t -> 'b -> 'b) -> ('q, 'a, 'x, 'y) t -> 'b -> 'b
Sourceval iter : (('q, 'a, 'x, 'y) Trapo.t -> unit) -> ('q, 'a, 'x, 'y) t -> unit
Sourceval union : ('q, 'a, 'x, 'y) t -> ('q, 'a, 'x, 'y) t -> ('q, 'a, 'x, 'y) t
Sourceval diff : ('q, 'a, 'x, 'y) t -> ('q, 'a, 'x, 'y) t -> ('q, 'a, 'x, 'y) t
Sourceval cardinal : ('q, 'a, 'x, 'y) t -> int
Sourceval join : ('q, 'a, 'x, 'y) MetaTrapo.t -> ('qq, 'aa, 'xx, 'yy) MetaTrapo.t -> ('qqq, 'aaa, 'xxx, 'yyy) MetaTrapo.t -> (('q, 'a, 'x, 'y) Trapo.t -> ('qq, 'aa, 'xx, 'yy) Trapo.t -> ('qqq, 'aaa, 'xxx, 'yyy) Trapo.t) -> ('q, 'a, 'x, 'y) t -> ('qq, 'aa, 'xx, 'yy) t -> ('qqq, 'aaa, 'xxx, 'yyy) t
Sourceval conditional_join : ('q, 'a, 'x, 'y) MetaTrapo.t -> ('qq, 'aa, 'xx, 'yy) MetaTrapo.t -> ('qqq, 'aaa, 'xxx, 'yyy) MetaTrapo.t -> (('q, 'a, 'x, 'y) Trapo.t -> ('qq, 'aa, 'xx, 'yy) Trapo.t -> ('qqq, 'aaa, 'xxx, 'yyy) Trapo.t) -> ('q, 'a, 'x, 'y) t -> ('qq, 'aa, 'xx, 'yy) t -> (('qqq, 'aaa, 'xxx, 'yyy) Trapo.t -> bool) -> (('qqq, 'aaa, 'xxx, 'yyy) Trapo.t -> bool) -> ('qqq, 'aaa, 'xxx, 'yyy) t