Module LogicRaw


module LogicRaw: sig .. end

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