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