(module PP_PROGRAM-sig (planet chongkai/sml)
  (#%module-begin
   (Program:
    (SIGDECTopDec:
     (SigDec:
      (SigBind:
       (SigId: PP_PROGRAM-sig)
       (SIGSigExp:
        (SEQSpec:
         (SEQSpec:
          (INCLUDESpec:
           (WHERETYPESigExp:
            (SIGSigExp: (TYPESpec: (TypDec: (TyVarseq:) (TyCon: Program-type))))
            (TyVarseq:)
            (LongTyCon: Program-type)
            (CONTy: (Tyseq:) (LongTyCon: GrammarProgram.Program-type))))
          (EMPTYSpec:))
         (VALSpec:
          (ValDesc:
           (VId: ppProgram)
           (ARROWTy:
            (RECORDTy:
             (TyRow:
              (Lab: |1|)
              (CONTy: (Tyseq:) (LongTyCon: TextIO.outstream-type))
              (TyRow: (Lab: |2|) (CONTy: (Tyseq:) (LongTyCon: int-type)) (TyRow: (Lab: |3|) (CONTy: (Tyseq:) (LongTyCon: Program-type))))))
            (CONTy: (Tyseq:) (LongTyCon: unit-type)))))))))))))