Module Libzipperposition.Ctx
Basic context for literals, clauses...
module type S = Ctx_intf.S
module Key : sig ... endmodule type PARAMETERS = sig ... endmodule Make : functor (X : PARAMETERS) -> S
Libzipperposition.Ctxmodule type S = Ctx_intf.Smodule Key : sig ... endmodule type PARAMETERS = sig ... endmodule Make : functor (X : PARAMETERS) -> S