Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
8ba3498b
Commit
8ba3498b
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2003-10-24 09:12:52 by szach] added shortand for Types.Char.any
Original author: szach Date: 2003-10-24 09:12:52+00:00
parent
014d7f56
Changes
2
Hide whitespace changes
Inline
Side-by-side
types/builtin_defs.ml
View file @
8ba3498b
...
...
@@ -25,6 +25,7 @@ let false_type = Types.atom (Atoms.atom false_atom)
let
bool
=
Types
.
cup
true
_type
false
_type
let
nil
=
Sequence
.
nil_type
let
string
=
Sequence
.
string
let
char
=
Types
.
Char
.
any
let
any
=
Types
.
any
let
int
=
Types
.
Int
.
any
let
atom
=
Types
.
atom
Atoms
.
any
...
...
types/builtin_defs.mli
View file @
8ba3498b
...
...
@@ -26,10 +26,11 @@ val nil : Types.t
val
bool
:
Types
.
t
val
int
:
Types
.
t
val
char
:
Types
.
t
val
string
:
Types
.
t
val
char_latin1
:
Types
.
t
val
string_latin1
:
Types
.
t
val
mk_ref
:
get
:
'
a
->
set
:
'
a
->
'
a
Ident
.
label_map
val
ref_type
:
Types
.
Node
.
t
->
Types
.
t
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment