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