source: extracted/costLabel.ml @ 2649

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

...

File size: 670 bytes
Line 
1open Preamble
2
3open Proper
4
5open PositiveMap
6
7open Deqsets
8
9open ErrorMessages
10
11open PreIdentifiers
12
13open Errors
14
15open Extralib
16
17open Setoids
18
19open Monad
20
21open Option
22
23open Lists
24
25open Positive
26
27open Identifiers
28
29open Arithmetic
30
31open Vector
32
33open Div_and_mod
34
35open Jmeq
36
37open Russell
38
39open List
40
41open Util
42
43open FoldStuff
44
45open BitVector
46
47open Extranat
48
49open Bool
50
51open Relations
52
53open Nat
54
55open Integers
56
57open Hints_declaration
58
59open Core_notation
60
61open Pts
62
63open Logic
64
65open Types
66
67open AST
68
69type costlabel = PreIdentifiers.identifier
70
71(** val costlabel_of_nat : Nat.nat -> costlabel **)
72let costlabel_of_nat =
73  Identifiers.identifier_of_nat PreIdentifiers.CostTag
74
Note: See TracBrowser for help on using the repository browser.