(module DERIVED_FORMS_PROGRAM-sig (planet chongkai/sml)
  (#%module-begin
   (Program:
    (SIGDECTopDec:
     (SigDec:
      (SigBind:
       (SigId: DERIVED_FORMS_PROGRAM-sig)
       (SIGSigExp:
        (SEQSpec:
         (SEQSpec:
          (INCLUDESpec:
           (WHERETYPESigExp:
            (SIGSigExp: (TYPESpec: (TypDec: (TyVarseq:) (TyCon: Info-type))))
            (TyVarseq:)
            (LongTyCon: Info-type)
            (CONTy: (Tyseq:) (LongTyCon: GrammarProgram.Info-type))))
          (EMPTYSpec:))
         (SEQSpec:
          (SEQSpec:
           (INCLUDESpec:
            (WHERETYPESigExp:
             (SIGSigExp: (TYPESpec: (TypDec: (TyVarseq:) (TyCon: Exp-type))))
             (TyVarseq:)
             (LongTyCon: Exp-type)
             (CONTy: (Tyseq:) (LongTyCon: GrammarCore.Exp-type))))
           (EMPTYSpec:))
          (SEQSpec:
           (SEQSpec:
            (INCLUDESpec:
             (WHERETYPESigExp:
              (SIGSigExp: (TYPESpec: (TypDec: (TyVarseq:) (TyCon: TopDec-type))))
              (TyVarseq:)
              (LongTyCon: TopDec-type)
              (CONTy: (Tyseq:) (LongTyCon: GrammarModule.TopDec-type))))
            (EMPTYSpec:))
           (SEQSpec:
            (SEQSpec:
             (INCLUDESpec:
              (WHERETYPESigExp:
               (SIGSigExp: (TYPESpec: (TypDec: (TyVarseq:) (TyCon: Program-type))))
               (TyVarseq:)
               (LongTyCon: Program-type)
               (CONTy: (Tyseq:) (LongTyCon: GrammarProgram.Program-type))))
             (EMPTYSpec:))
            (SEQSpec:
             (VALSpec:
              (ValDesc:
               (VId: TOPDECProgram)
               (ARROWTy:
                (RECORDTy:
                 (TyRow:
                  (Lab: |1|)
                  (CONTy: (Tyseq:) (LongTyCon: Info-type))
                  (TyRow:
                   (Lab: |2|)
                   (CONTy: (Tyseq:) (LongTyCon: TopDec-type))
                   (TyRow: (Lab: |3|) (CONTy: (Tyseq: (CONTy: (Tyseq:) (LongTyCon: Program-type))) (LongTyCon: option-type))))))
                (CONTy: (Tyseq:) (LongTyCon: Program-type)))))
             (VALSpec:
              (ValDesc:
               (VId: EXPProgram)
               (ARROWTy:
                (RECORDTy:
                 (TyRow:
                  (Lab: |1|)
                  (CONTy: (Tyseq:) (LongTyCon: Info-type))
                  (TyRow:
                   (Lab: |2|)
                   (CONTy: (Tyseq:) (LongTyCon: Exp-type))
                   (TyRow: (Lab: |3|) (CONTy: (Tyseq: (CONTy: (Tyseq:) (LongTyCon: Program-type))) (LongTyCon: option-type))))))
                (CONTy: (Tyseq:) (LongTyCon: Program-type)))))))))))))))))