diff options
Diffstat (limited to 'lib/cList.mli')
| -rw-r--r-- | lib/cList.mli | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/cList.mli b/lib/cList.mli index 6b9f2a8c2..6af32fdd0 100644 --- a/lib/cList.mli +++ b/lib/cList.mli @@ -241,6 +241,16 @@ sig (** Keep only those products that do not return None *) val factorize_left : 'a eq -> ('a * 'b) list -> ('a * 'b list) list + + module type MonoS = sig + type elt + val equal : elt list -> elt list -> bool + val mem : elt -> elt list -> bool + val assoc : elt -> (elt * 'a) list -> 'a + val mem_assoc : elt -> (elt * 'a) list -> bool + val remove_assoc : elt -> (elt * 'a) list -> (elt * 'a) list + val mem_assoc_sym : elt -> ('a * elt) list -> bool + end end include ExtS |