g_intchar.def 62 B

12
  1. DEFINITION MODULE IntChar = Pair(INTEGER, CHAR);
  2. END IntChar.