Module Datalib.Cvalues.RecEqTrans


module RecEqTrans: F.DRegister(sig
include F.Compinfo
val declare : Datalib.Cvalues.RecEqName.t ->
'a -> ('b, 'c, Datalib.Cvalues.F.pred) Formula.item
val prefix : string
val section : Formula.section
val clear : unit -> unit
val pp_title : Format.formatter -> Datalib.Cvalues.F.Compinfo.t -> unit
val pp_descr : Format.formatter -> 'a -> unit
end)