Module Kf_state.Make


module Make: Build(Locations.Zone)
Build an internal state for inputs, outputs and derefs.

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