module Build: functor (X : Project.Datatype.S) -> functor (Info : Signature.NAME_DPDS) -> sig .. end
functor (
X
:
Project.Datatype.S
) ->
Info
Signature.NAME_DPDS
sig
end
include struct ... end
val memo : (key -> data) -> key -> data
(key -> data) -> key -> data