module Ref: functor (Data : Project.Datatype.S) -> S with type t = Data.t ref
functor (
Data
:
Project.Datatype.S
) ->
S
with type t = Data.t ref