Functor Kf_state.Build


module Build: 
functor (X : Project.Datatype.S) ->
functor (Info : Signature.NAME_DPDS) -> sig .. end
Parameters:
X : Project.Datatype.S
Info : Signature.NAME_DPDS

include struct ... end
val memo : (key -> data) -> key -> data