(module LongTyCon-struct (planet chongkai/sml)
  (#%module-begin
   (Program:
    (STRDECTopDec:
     (STRUCTUREStrDec:
      (StrBind:
       (StrId: LongTyCon-struct)
       (APPStrExp:
        (FunId: LongIdFn-functor)
        (STRUCTStrExp:
         (SEQStrDec:
          (STRUCTUREStrDec: (StrBind: (StrId: Id-struct) (IDStrExp: (LongStrId: TyCon-struct))))
          (STRUCTUREStrDec: (StrBind: (StrId: StrId-struct) (IDStrExp: (LongStrId: StrId-struct)))))))))))))