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