Module Group.Make

Parameters

module R : Role.S

Signature

type kind = Kind.t
type role = R.t
type role_kind = R.kind
type role_alignment = R.alignment
type t =
  1. | Role of role
  2. | Kind of role_kind
  3. | Alignment of role_alignment
val equal : t -> t -> Ppx_deriving_runtime.bool
val kind : t -> Kind.t
val is_role_of_group : t -> role -> bool