module Shape: functor (Key : Id_Datatype) -> sig .. end
functor (
Key
:
Id_Datatype
) ->
sig
end
type 'value t
'value