Mina_numbers.Nat
module Intf : sig ... end
module Make : Intf.F
module Make_checked : Intf.F_checked
module Make32 () : Intf.UInt32
module Make64 () : Intf.UInt64