module Kf_state:Additional dependencies of the built state.sig
..end
Build an internal state for inputs, outputs and derefs.
module type S =sig
..end
module type INFO =sig
..end
module Build:
module Make:Build
(
Locations.Zone.Datatype
)
module Context:Build
(
Inout_type.Datatype
)