Module Triggers.Make

Parameters

module R : Roles.S
module T : Trigger.S

Signature

type role = R.role
type role_kind = R.role_kind
type role_alignment = R.role_alignment
module Trigger = T
type trigger = Trigger.t
type trigger_kind = Trigger.kind
type t = trigger list
type k = trigger_kind list
val collect : unit -> t
val of_kind : ?triggers:t -> trigger_kind -> t
val of_kinds : ?triggers:t -> k -> t
module Set : sig ... end