module Computer: functor (M : Sigs.Compiler) -> sig .. end
functor (
M
:
Sigs.Compiler
) ->
sig
end
class wp : WpContext.model -> Generator.computer
WpContext.model ->
Generator.computer