module LogicRaw: sig .. end
sig
end
val dkey : string
string
val simpl : unit -> Wp_parameters.Simpl.t
unit -> Wp_parameters.Simpl.t
module VAR: sig .. end
module VMAP: Map.Make(VAR)
Map.Make
(
VAR
)
module VSET: Set.Make(VAR)
Set.Make
module TERM: sig .. end
module PRED: sig .. end
module SUBST: sig .. end