source: driver/extracted/listb.mli @ 3106

Last change on this file since 3106 was 2773, checked in by sacerdot, 7 years ago
  1. everything extracted again after all bugs in Matita's extraction have been fixed. No more need for manual patching
  2. new extraction after file reorganization (by James)
File size: 477 bytes
Line 
1open Preamble
2
3open Bool
4
5open Relations
6
7open Nat
8
9open Hints_declaration
10
11open Core_notation
12
13open Pts
14
15open Logic
16
17open Types
18
19open List
20
21open Sets
22
23open Deqsets
24
25val isnilb : 'a1 List.list -> Bool.bool
26
27val memb : Deqsets.deqSet -> __ -> __ List.list -> Bool.bool
28
29val uniqueb : Deqsets.deqSet -> __ List.list -> Bool.bool
30
31val unique_append :
32  Deqsets.deqSet -> __ List.list -> __ List.list -> __ List.list
33
34val exists : ('a1 -> Bool.bool) -> 'a1 List.list -> Bool.bool
35
Note: See TracBrowser for help on using the repository browser.