Spec.Abilitiesmodule Ability : sig ... endmodule type S = sig ... endmodule type InputS = sig ... endmodule Make
(X : InputS) :
S
with type role = X.role
and type role_kind = X.role_kind
and type role_alignment = X.role_alignment
and type triggers = X.triggers
and type trigger = X.trigger
and type trigger_kind = X.trigger_kind