Previous  Up  

Module Superposition_intf.S.PS

module PS: module type of Env.ProofState  with type C.t = Env.C.t