diff options
Diffstat (limited to 'lib/concepts/Mode.mli')
| -rw-r--r-- | lib/concepts/Mode.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/concepts/Mode.mli b/lib/concepts/Mode.mli index 982518a..8d84093 100644 --- a/lib/concepts/Mode.mli +++ b/lib/concepts/Mode.mli @@ -24,4 +24,7 @@ val to_list : t -> mode list attributes left free are then fewer and no more numerous. *) val generation : t -> attributes -> Cardinality.t option +val exhaustible : t -> attributes -> bool + +(** declared outright, or implied by a generation that can be exhausted. *) val decision : t -> attributes -> bool |