(module GrammarProgram-struct (planet chongkai/sml)
  (#%module-begin
   (Program:
    (STRDECTopDec:
     (STRUCTUREStrDec:
      (StrBind:
       (StrId: GrammarProgram-struct)
       (APPStrExp:
        (FunId: GrammarProgramFn-functor)
        (STRUCTStrExp:
         (SEQStrDec:
          (DECStrDec: (TYPEDec: (TypBind: (TyVarseq:) (TyCon: Info-type) (CONTy: (Tyseq:) (LongTyCon: Source.info-type)))))
          (STRUCTUREStrDec: (StrBind: (StrId: Module-struct) (IDStrExp: (LongStrId: GrammarModule-struct)))))))))))))