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
bf0885bf
Commit
bf0885bf
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2003-11-21 12:48:41 by szach] added mk_latin1
Original author: szach Date: 2003-11-21 12:48:41+00:00
parent
9ef60e2b
Changes
2
Hide whitespace changes
Inline
Side-by-side
misc/ns.ml
View file @
bf0885bf
...
...
@@ -19,6 +19,7 @@ module P = Pool.Make(U)
include
P
let
empty
=
mk
empty_str
let
xml_ns
=
mk
(
U
.
mk
"http://www.w3.org/XML/1998/namespace"
)
let
mk_latin1
s
=
mk
(
U
.
mk
s
)
module
Table
=
Map
.
Make
(
U
)
...
...
misc/ns.mli
View file @
bf0885bf
...
...
@@ -6,6 +6,7 @@ exception UnknownPrefix of Utf8.t
include
Custom
.
T
with
type
t
=
int
(* Namespaces (URIs) *)
val
mk
:
Utf8
.
t
->
t
val
mk_latin1
:
string
->
t
val
value
:
t
->
Utf8
.
t
val
empty
:
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