(module GrammarCore-struct (planet chongkai/sml)
  (#%module-begin
   (Program:
    (STRDECTopDec:
     (STRUCTUREStrDec:
      (StrBind:
       (StrId: GrammarCore-struct)
       (APPStrExp:
        (FunId: GrammarCoreFn-functor)
        (STRUCTStrExp: (DECStrDec: (TYPEDec: (TypBind: (TyVarseq:) (TyCon: Info-type) (CONTy: (Tyseq:) (LongTyCon: Source.info-type)))))))))))))