Module Kf_state


module Kf_state: sig .. end
Build an internal state for inputs, outputs and derefs.

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