Module Std_internal.Nat

module Nat: Sexplib.Std.Nat