src/Pure/ML/fixed_int_dummy.ML

discontinued slightly odd "secure" mode;

(*  Title:      Pure/ML/fixed_int_dummy.ML

FixedInt dummy that is not fixed (up to Poly/ML 5.6).
*)

structure FixedInt = IntInf;