module Funvar_mem: sig .. end
sig
end
module WpLog: Wp_parameters
Wp_parameters
val debug : ?level:int -> 'a Log.pretty_printer
?level:int -> 'a Log.pretty_printer
val oracle : ?level:int -> 'a Log.pretty_printer
module type Criteria = sig .. end
module Create: functor (Crit : Criteria) -> functor (M : Mwp.S) -> sig .. end
functor (
Crit
:
Criteria
) ->
M
Mwp.S