## one-word-int.pkg
#
# One-word int -- 32-bit int on 32-bit architectures, 64-bit int on 64-bit architectures.
# Compiled by:
#
src/lib/std/standard.libpackage one_word_int
=
one_word_int_guts; # one_word_int_guts is from
src/lib/std/src/one-word-int-guts.pkg## (C) 1999 Lucent Technologies, Bell Laboratories
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.