blob: 73f0bf9548963c81410bc7ac3e3cc17758ca4045 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
(*
A testbed file for private type abbreviation definitions.
We test the Length module that implements positive integers.
*)
(* We can build a null length. *)
let l = Length.make 0;;
(* We cannot build a negative length. *)
try ignore (Length.make (-1)); assert false with
| Failure _ -> ()
;;
(* We can build a positive length. *)
let l3 = Length.make 3 in
(* and use the associated injection and projection functions. *)
Length.make (Length.from l3 + Length.from l3);;
|
