module Store_mem: sig .. end
sig
end
module WpLog: Wp_parameters
Wp_parameters
module Create: functor (F : Formula.S) -> functor (A : Mint.S with module F = F) -> functor (R : Mfloat.S with module F = F) -> sig .. end
functor (
F
:
Formula.S
) ->
A
Mint.S
with module F = F
R
Mfloat.S