val src : Logs.srcmodule MakeExpert
(Var : ExtSigs.Variables)
(R : ExtSigs.Coefs)
(V : ExtSigs.Value with type r = R.t)
(Ex : ExtSigs.Explanations)
(R2 : Rat2.SIG with module R = R and module V = V)
(P : Polys.SIG with module Var = Var and module R = R)
(MX : ExtSigs.MapSig with type key = Var.t)
(SX : ExtSigs.SetSig with type elt = Var.t) :
CoreSig.S
with module Var = Var
and module R = R
and module V = V
and module Ex = Ex
and module P = P
and module MX = MX
and module SX = SXSame than Make but allows to choose the implementation of polynomials, maps and sets