module Kf_state: sig .. end
sig
end
module type S = sig .. end
module Build: functor (X : Datatype.S) -> functor (Info : State_builder.Info) -> sig .. end
functor (
X
:
Datatype.S
) ->
Info
State_builder.Info
module Make: Build(Locations.Zone)
Build
(
Locations.Zone
)
module Context: Build(Inout_type)
Inout_type