diff options
Diffstat (limited to 'kernel/sorts.ml')
| -rw-r--r-- | kernel/sorts.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/kernel/sorts.ml b/kernel/sorts.ml index 04deade92f..03f1cd2653 100644 --- a/kernel/sorts.ml +++ b/kernel/sorts.ml @@ -59,6 +59,11 @@ let hash = function let h = Universe.hash u in combinesmall 2 h +module List = struct + let mem = List.memq + let intersect l l' = CList.intersect family_equal l l' +end + module Hsorts = Hashcons.Make( struct |