module Inout_type: sig .. end
sig
end
type tt = {
over_inputs_if_termination : Locations.Zone.t;
Locations.Zone.t
under_outputs_if_termination : Locations.Zone.t;
over_inputs : Locations.Zone.t;
include struct ... end