Record subject := SMake {
  (** The roles held by the subject. *)
  sRoles : RoleSets.t
}.
