module Translate_expr: sig .. end
sig
end
module WpLog: Wp_parameters
Wp_parameters
val dkey : string
string
val debug : ?level:int -> 'a Log.pretty_printer
?level:int -> 'a Log.pretty_printer
module Create: functor (M : Mvalues.S) -> sig .. end
functor (
M
:
Mvalues.S
) ->