source: extracted/lists.mli @ 2746

Last change on this file since 2746 was 2743, checked in by sacerdot, 7 years ago

Latest version of the compiler, extracted with the latest version of Matita.
Some files still need some manual patching to avoid an extraction bug
(see PROBLEMS file).

File size: 972 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 Div_and_mod
22
23open Jmeq
24
25open Russell
26
27open Util
28
29val all0 : ('a1 -> Bool.bool) -> 'a1 List.list -> Bool.bool
30
31type ('a,'b) all2 = __
32
33val map_All : ('a1 -> __ -> 'a2) -> 'a1 List.list -> 'a2 List.list
34
35open Setoids
36
37open Monad
38
39open Option
40
41val append0 : 'a1 List.list List.aop
42
43val list0 : Monad.monadProps
44
45val count : ('a1 -> Bool.bool) -> 'a1 List.list -> Nat.nat
46
47val position_of_safe : ('a1 -> Bool.bool) -> 'a1 List.list -> Nat.nat
48
49val index_of : ('a1 -> Bool.bool) -> 'a1 List.list -> Nat.nat
50
51val ordered_insert :
52  ('a1 -> 'a1 -> Bool.bool) -> 'a1 -> 'a1 List.list -> 'a1 List.list
53
54val insert_sort : ('a1 -> 'a1 -> Bool.bool) -> 'a1 List.list -> 'a1 List.list
55
56val range_strong_internal :
57  Nat.nat -> Nat.nat -> Nat.nat -> Nat.nat Types.sig0 List.list
58
59val range_strong : Nat.nat -> Nat.nat Types.sig0 List.list
60
Note: See TracBrowser for help on using the repository browser.