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