source: extracted/costLabel.mli @ 2968

Last change on this file since 2968 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: 547 bytes
RevLine 
[2601]1open Preamble
2
3open Proper
4
5open PositiveMap
6
7open Deqsets
8
[2649]9open ErrorMessages
10
[2601]11open PreIdentifiers
12
13open Errors
14
15open Extralib
16
17open Setoids
18
19open Monad
20
21open Option
22
23open Div_and_mod
24
25open Jmeq
26
27open Russell
28
29open Util
30
[2773]31open List
[2601]32
[2773]33open Lists
[2601]34
35open Bool
36
37open Relations
38
39open Nat
40
[2773]41open Positive
[2601]42
43open Hints_declaration
44
45open Core_notation
46
47open Pts
48
49open Logic
50
51open Types
52
[2773]53open Identifiers
[2601]54
55type costlabel = PreIdentifiers.identifier
56
[2773]57val costlabel_eq : costlabel -> costlabel -> (__, __) Types.sum
58
[2601]59val costlabel_of_nat : Nat.nat -> costlabel
60
Note: See TracBrowser for help on using the repository browser.