Functor Fm.Make (.ml)

module Make: 
functor (X : Sig.X) ->
functor (P : EXTENDED_Polynome with type r = X.r) -> Sig.RELATION with type r = X.r
Parameters:
X : Sig.X
P : EXTENDED_Polynome with type r = X.r

type t 
type r 
val empty : unit -> t
val assume : t ->
r Sig.input list -> t * r Sig.result
val query : t -> r Sig.input -> Sig.answer
val case_split : t ->
(r Literal.view * Explanation.t * Num.num) list

case_split env returns a list of equalities

val add : t -> r -> t

add a representant to take into account