module type REF_INPUT = sig .. end
sig
end
include Project.Datatype.S
val default : unit -> t
unit -> t