Relation scopes.
type relation = private | Plain_relation of Tuple_set.t * Tuple_set.tinv: inf in sup
*)| Partial_function of int * Tuple_set.tint is the domain arity (inv: >= 0); inf = empty
| Total_function of int * Tuple_set.tint is the domain arity (inv: >= 0); inf = empty
val exact : Tuple_set.t -> tval plain_relation : Tuple_set.t -> Tuple_set.t -> relationval partial_function : int -> Tuple_set.t -> relationval total_function : int -> Tuple_set.t -> relationval included_in : Tuple_set.t -> t -> boolincluded_in ts scope tells whether ts is in the scope (meaning it also contains the lower bound of the scope if the latter is inexact.)
val inf : t -> Tuple_set.tReturn the inf and sup bounds of the scope.
val sup : t -> Tuple_set.tval must : t -> Tuple_set.tReturn the must and may (= sup - inf; computation is cached) bounds of the scope.
val may : t -> Tuple_set.tval is_partial : t -> boolval inferred_arity : t -> int0 if the arity cannot be inferred (= is unknown), n > 0 otherwise.
val rename : (Atom.t, Atom.t) Containers.List.Assoc.t -> t -> t