hamlet/STREAM-sig.ss
(module STREAM-sig (planet chongkai/sml)
  (#%module-begin
   (Program:
    (SIGDECTopDec:
     (SigDec:
      (SigBind:
       (SigId: STREAM-sig)
       (SIGSigExp:
        (SEQSpec:
         (TYPESpec: (TypDec: (TyVarseq: (TyVar: |'xa|)) (TyCon: stream-type)))
         (SEQSpec:
          (VALSpec:
           (ValDesc:
            (VId: streamify)
            (ARROWTy:
             (PARTy: (ARROWTy: (CONTy: (Tyseq:) (LongTyCon: unit-type)) (VARTy: (TyVar: |'_a|))))
             (CONTy: (Tyseq: (VARTy: (TyVar: |'_a|))) (LongTyCon: stream-type)))))
          (SEQSpec:
           (VALSpec:
            (ValDesc:
             (VId: cons)
             (ARROWTy:
              (RECORDTy: (TyRow: (Lab: |1|) (VARTy: (TyVar: |'_a|)) (TyRow: (Lab: |2|) (CONTy: (Tyseq: (VARTy: (TyVar: |'_a|))) (LongTyCon: stream-type)))))
              (CONTy: (Tyseq: (VARTy: (TyVar: |'_a|))) (LongTyCon: stream-type)))))
           (VALSpec:
            (ValDesc:
             (VId: get)
             (ARROWTy:
              (CONTy: (Tyseq: (VARTy: (TyVar: |'_a|))) (LongTyCon: stream-type))
              (RECORDTy:
               (TyRow:
                (Lab: |1|)
                (VARTy: (TyVar: |'_a|))
                (TyRow: (Lab: |2|) (CONTy: (Tyseq: (VARTy: (TyVar: |'_a|))) (LongTyCon: stream-type))))))))))))))))))