blob: 2215ec8f77e7a6a64f5183b5afea01faf1bc9982 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
(* $Id: length.mli 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 = private int;;
val make : int -> t;;
external from : t -> int = "%identity";;
|
