Lines Matching defs:DIGIT
172 \ fun DIGIT ZERO = #\"0\"\n\
173 \ | DIGIT (BIT1 ZERO) = #\"1\"\n\
174 \ | DIGIT (BIT2 ZERO) = #\"2\"\n\
175 \ | DIGIT (BIT1(BIT1 ZERO)) = #\"3\"\n\
176 \ | DIGIT (BIT2(BIT1 ZERO)) = #\"4\"\n\
177 \ | DIGIT (BIT1(BIT2 ZERO)) = #\"5\"\n\
178 \ | DIGIT (BIT2(BIT2 ZERO)) = #\"6\"\n\
179 \ | DIGIT (BIT1(BIT1(BIT1 ZERO))) = #\"7\"\n\
180 \ | DIGIT (BIT2(BIT1(BIT1 ZERO))) = #\"8\"\n\
181 \ | DIGIT (BIT1(BIT2(BIT1 ZERO))) = #\"9\"\n\
182 \ | DIGIT otherwise = #\"?\";\n\
246 \ val toDecString = toBaseString (fn n => DIVMOD(ZERO, (n, TEN))) DIGIT;\n\