open Preamble

open Bool

open Relations

open Nat

open Hints_declaration

open Core_notation

open Pts

open Logic

open Types

open List

open Sets

open Deqsets

val isnilb : 'a1 List.list -> Bool.bool

val memb : Deqsets.deqSet -> __ -> __ List.list -> Bool.bool

val uniqueb : Deqsets.deqSet -> __ List.list -> Bool.bool

val unique_append :
  Deqsets.deqSet -> __ List.list -> __ List.list -> __ List.list

val exists : ('a1 -> Bool.bool) -> 'a1 List.list -> Bool.bool