Ability.Makemodule T :
Triggers.S
with type role = R.role
and type role_kind = R.role_kind
and type role_alignment = R.role_alignmentmodule X :
InputS
with type triggers = T.t
and type trigger = T.trigger
and type trigger_kind = T.trigger_kindtype role = R.roletype role_kind = R.role_kindtype role_alignment = R.role_alignmenttype triggers = T.ttype trigger = T.triggertype trigger_kind = T.trigger_kindval triggers : triggers