blob: 945d05d144ef2546d5c795dffd072da8294ada5e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
(* $Id: length.ml 8482 2007-11-06 21:06:18Z weis $
A testbed file for private type abbreviation definitions.
We define a Length module to implement positive integers.
*)
type t = int;;
let make x =
if x >= 0 then x else
failwith (Printf.sprintf "cannot build negative length : %i" x)
;;
external from : t -> int = "%identity";;
|
