io7m
|
single-page
|
multi-page
|
epub
| Medrina 1.0
3.5. Roles
Previous
3. Specification
Up
3.7. Objects
Next
3.6. Subjects
1
A
subject
represents an entity attempting to perform an
action
. A subject is in possession of a set of zero or more
roles
:
3.6.2. Subjects
Record subject := SMake { (** The roles held by the subject. *) sRoles : RoleSets.t }.
3.5. Roles
Previous
3. Specification
Up
3.7. Objects
Next
io7m
|
single-page
|
multi-page
|
epub
| Medrina 1.0