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