Unsigned_extended
type nonrec uint64 = Unsigned.uint64
type nonrec uint32 = Unsigned.uint32
module type S = sig ... end
module Extend : sig ... end
module UInt64 : sig ... end
module UInt32 : sig ... end