Module Abilities.Make

Parameters

module X : InputS

Signature

type role = X.role
type role_kind = X.role_kind
type role_alignment = X.role_alignment
type triggers = X.triggers
type trigger = X.trigger
type trigger_kind = X.trigger_kind