diff options
Diffstat (limited to 'lib/concepts/Mode.mli')
| -rw-r--r-- | lib/concepts/Mode.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/concepts/Mode.mli b/lib/concepts/Mode.mli index 57b079f..982518a 100644 --- a/lib/concepts/Mode.mli +++ b/lib/concepts/Mode.mli @@ -23,4 +23,5 @@ val to_list : t -> mode list declared for fewer bound attributes applies to more, since the attributes left free are then fewer and no more numerous. *) val generation : t -> attributes -> Cardinality.t option + val decision : t -> attributes -> bool |