sig type t = private int val of_int : int -> Nat0.t external unsafe_of_int : int -> Nat0.t = "%identity" end