Previous
Up
Next
Module
ProofState_intf
module
ProofState_intf:
sig
..
end
Set of active clauses
module type
S
=
sig
..
end
Set of active clauses