Module Ctx

module Ctx: sig .. end

Basic context for literals, clauses...



module type S = Ctx_intf.S
Context for a Proof
module Key: sig .. end
module type PARAMETERS = sig .. end
module Make: 
functor (X : PARAMETERS) -> S
Create a new context