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

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

val add : t -> r -> t