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