extracted/listb.mli

   1 open Preamble
   2
   3 open Bool
   4
   5 open Relations
   6
   7 open Nat
   8
   9 open Hints_declaration
  10
  11 open Core_notation
  12
  13 open Pts
  14
  15 open Logic
  16
  17 open Types
  18
  19 open List
  20
  21 open Sets
  22
  23 open Deqsets
  24
  25 val isnilb : 'a1 List.list -> Bool.bool
  26
  27 val memb : Deqsets.deqSet -> __ -> __ List.list -> Bool.bool
  28
  29 val uniqueb : Deqsets.deqSet -> __ List.list -> Bool.bool
  30
  31 val unique_append :
  32   Deqsets.deqSet -> __ List.list -> __ List.list -> __ List.list
  33
  34 val exists : ('a1 -> Bool.bool) -> 'a1 List.list -> Bool.bool
  35