Make.Ttype role = R.roletype role_kind = R.role_kindtype role_alignment = R.role_alignmentmodule Trigger : Triggers.Trigger.Stype trigger = Trigger.ttype trigger_kind = Trigger.kindtype t = trigger listtype k = trigger_kind listval collect : unit -> tval of_kind : ?triggers:t -> trigger_kind -> tmodule Set : sig ... end