Module Spec.Abilities

module Ability : sig ... end
module type S = sig ... end
module type InputS = sig ... end
module Make (X : InputS) : S with type role = X.role and type role_kind = X.role_kind and type role_alignment = X.role_alignment and type triggers = X.triggers and type trigger = X.trigger and type trigger_kind = X.trigger_kind