Commit 1436f64c authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2005-06-07 21:07:32 by afrisch] Empty log message

Original author: afrisch
Date: 2005-06-07 21:07:32+00:00
parent b545e80f
......@@ -698,14 +698,12 @@ let cduce2ocaml_char = function
| Char c -> Chars.V.to_char c
| _ -> assert false
(*
let ocaml2cduce_bigint i =
Integer (Intervals.V.from_bigint i)
let cduce2ocaml_bigint = function
| Integer i -> Intervals.V.get_bigint i
| _ -> assert false
*)
let ocaml2cduce_atom ns l =
Atom (Atoms.V.mk (Ns.mk ns) l)
......
......@@ -121,8 +121,8 @@ val ocaml2cduce_string_utf8 : U.t -> t
val cduce2ocaml_string_utf8 : t -> U.t
val ocaml2cduce_char : char -> t
val cduce2ocaml_char : t -> char
(*val ocaml2cduce_bigint : Big_int.big_int -> t
val cduce2ocaml_bigint : t -> Big_int.big_int*)
val ocaml2cduce_bigint : Big_int.big_int -> t
val cduce2ocaml_bigint : t -> Big_int.big_int
val ocaml2cduce_option: ('a -> t) -> 'a option -> t
val cduce2ocaml_option: (t -> 'a) -> t -> 'a option
val ocaml2cduce_wchar : int -> t
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment