Ability.Triggers
module Trigger : sig ... end
module type S = sig ... end
module Make (R : Roles.S) (T : Trigger.S) : S with type role = R.role and type role_kind = R.role_kind and type role_alignment = R.role_alignment and module Trigger = T