Module Kf_state


module Kf_state: sig .. end
Additional dependencies of the built state.

Build an internal state for inputs, outputs and derefs.


module type S = sig .. end
module type INFO = sig .. end
module Build: 
functor (X : Project.Datatype.S) ->
functor (Info : Signature.NAME_DPDS) -> sig .. end
module Make: Build(Locations.Zone.Datatype)
Build an internal state for inputs, outputs and derefs.
module Context: Build(Inout_type.Datatype)
Build an internal state for inout context.