class type def with 1 class types (file "", line 13 (char 0) - line 21 (char 3))
  class type 1:
    class type def b (file "", line 13 (char 11) - line 21 (char 3))
      class type params (0 params) (file "", line 13 (char 12-13))
      object type with 1 items (file "", line 13 (char 15) - line 21 (char 3))
        no self type
        item 1:
          class sig declare with 2 items (file "", line 14 (char 2) - line 20 (char 5))
            Item 1: 
              object sig val a (mutable) (file "", line 15 (char 4-25))
                typ lid int (file "", line 15 (char 22-25))
            Item 2: 
              class sig declare with 2 items (file "", line 16 (char 4) - line 19 (char 7))
                Item 1: 
                  object sig val b (mutable) (file "", line 17 (char 6-27))
                    typ lid int (file "", line 17 (char 24-27))
                Item 2: 
                  object sig val c (nonmutable) (file "", line 18 (char 6-19))
                    typ lid int (file "", line 18 (char 16-19))
class defs with 1 classes (file "", line 22 (char 0) - line 31 (char 3))
  class 1:
    class def a (file "", line 22 (char 6) - line 31 (char 3))
      class type params (0 params) (file "", line 22 (char 7-8))
      object def with 1 items (file "", line 22 (char 10) - line 31 (char 3))
        no self pattern
          item 1:
            declare (cl str) with 3 items (file "", line 23 (char 2) - line 30 (char 5))
              item 1:
                initializer (file "", line 24 (char 4-17))
                  int const 6 (file "", line 24 (char 16-17))
              item 2:
                val a (nonmutable) (file "", line 25 (char 4-15))
                  int const 7 (file "", line 25 (char 14-15))
              item 3:
                declare (cl str) val b12345 (special) (file "", line 26 (char 4) - line 29 (char 7))
                  int const 8 (file "", line 27 (char 21-22))
                  val c (nonmutable) (file "", line 28 (char 6-17))
                    int const 9 (file "", line 28 (char 16-17))
module type S2 (file "", line 32 (char 0) - line 39 (char 4))
  signature with 1 fields (file "", line 32 (char 17) - line 39 (char 4))
    item 1: 
      sig declare with 4 items (file "", line 33 (char 2) - line 38 (char 5))
        Item 1: 
          exception decl A with 1 args (file "", line 34 (char 4-30))
            Arg 1: 
              tuple type with 2 elements (file "", line 34 (char 19-30))
                El 1: 
                  typ lid int (file "", line 34 (char 20-23))
                El 2: 
                  typ lid int (file "", line 34 (char 26-29))
        Item 2: 
          include sig (file "", line 35 (char 4-13))
            mod type UID A (file "", line 35 (char 12-13))
        Item 3: 
          sig open (file "", line 36 (char 4-14))
            C.D.E
        Item 4: 
          val decl x :  (file "", line 37 (char 4-34))
            function type (file "", line 37 (char 14-34))
              typ lid unit (file "", line 37 (char 14-18))
              function type (file "", line 37 (char 22-34))
                typ lid unit (file "", line 37 (char 22-26))
                typ lid unit (file "", line 37 (char 30-34))
declare 2 items (file "", line 40 (char 0) - line 46 (char 3))
  item 1: 
    declare 2 items (file "", line 41 (char 2) - line 44 (char 5))
      item 1: 
        top level expr (file "", line 42 (char 4-5))
          lid "a" (file "", line 42 (char 4-5))
      item 2: 
        top level expr (file "", line 43 (char 4-5))
          lid "b" (file "", line 43 (char 4-5))
  item 2: 
    top level expr (file "", line 45 (char 2-3))
      lid "c" (file "", line 45 (char 2-3))

