(module ERROR-sig (planet chongkai/sml)
  (#%module-begin
   (Program:
    (SIGDECTopDec:
     (SigDec:
      (SigBind:
       (SigId: ERROR-sig)
       (SIGSigExp:
        (SEQSpec:
         (SEQSpec:
          (INCLUDESpec:
           (WHERETYPESigExp:
            (SIGSigExp: (TYPESpec: (TypDec: (TyVarseq:) (TyCon: position-type))))
            (TyVarseq:)
            (LongTyCon: position-type)
            (CONTy: (Tyseq:) (LongTyCon: Source.info-type))))
          (EMPTYSpec:))
         (SEQSpec:
          (EXCEPTIONSpec: (ExDesc: (VId: Error)))
          (SEQSpec:
           (VALSpec:
            (ValDesc:
             (VId: warning)
             (ARROWTy:
              (RECORDTy: (TyRow: (Lab: |1|) (CONTy: (Tyseq:) (LongTyCon: position-type)) (TyRow: (Lab: |2|) (CONTy: (Tyseq:) (LongTyCon: string-type)))))
              (CONTy: (Tyseq:) (LongTyCon: unit-type)))))
           (SEQSpec:
            (VALSpec:
             (ValDesc:
              (VId: error)
              (ARROWTy:
               (RECORDTy: (TyRow: (Lab: |1|) (CONTy: (Tyseq:) (LongTyCon: position-type)) (TyRow: (Lab: |2|) (CONTy: (Tyseq:) (LongTyCon: string-type)))))
               (VARTy: (TyVar: |'a|)))))
            (SEQSpec:
             (VALSpec:
              (ValDesc:
               (VId: errorLab)
               (ARROWTy:
                (RECORDTy:
                 (TyRow:
                  (Lab: |1|)
                  (CONTy: (Tyseq:) (LongTyCon: position-type))
                  (TyRow: (Lab: |2|) (CONTy: (Tyseq:) (LongTyCon: string-type)) (TyRow: (Lab: |3|) (CONTy: (Tyseq:) (LongTyCon: IdsCore.Lab-type))))))
                (VARTy: (TyVar: |'a|)))))
             (SEQSpec:
              (VALSpec:
               (ValDesc:
                (VId: errorVId)
                (ARROWTy:
                 (RECORDTy:
                  (TyRow:
                   (Lab: |1|)
                   (CONTy: (Tyseq:) (LongTyCon: position-type))
                   (TyRow: (Lab: |2|) (CONTy: (Tyseq:) (LongTyCon: string-type)) (TyRow: (Lab: |3|) (CONTy: (Tyseq:) (LongTyCon: IdsCore.VId-type))))))
                 (VARTy: (TyVar: |'a|)))))
              (SEQSpec:
               (VALSpec:
                (ValDesc:
                 (VId: errorTyCon)
                 (ARROWTy:
                  (RECORDTy:
                   (TyRow:
                    (Lab: |1|)
                    (CONTy: (Tyseq:) (LongTyCon: position-type))
                    (TyRow: (Lab: |2|) (CONTy: (Tyseq:) (LongTyCon: string-type)) (TyRow: (Lab: |3|) (CONTy: (Tyseq:) (LongTyCon: IdsCore.TyCon-type))))))
                  (VARTy: (TyVar: |'a|)))))
               (SEQSpec:
                (VALSpec:
                 (ValDesc:
                  (VId: errorTyVar)
                  (ARROWTy:
                   (RECORDTy:
                    (TyRow:
                     (Lab: |1|)
                     (CONTy: (Tyseq:) (LongTyCon: position-type))
                     (TyRow: (Lab: |2|) (CONTy: (Tyseq:) (LongTyCon: string-type)) (TyRow: (Lab: |3|) (CONTy: (Tyseq:) (LongTyCon: IdsCore.TyVar-type))))))
                   (VARTy: (TyVar: |'a|)))))
                (SEQSpec:
                 (VALSpec:
                  (ValDesc:
                   (VId: errorStrId)
                   (ARROWTy:
                    (RECORDTy:
                     (TyRow:
                      (Lab: |1|)
                      (CONTy: (Tyseq:) (LongTyCon: position-type))
                      (TyRow: (Lab: |2|) (CONTy: (Tyseq:) (LongTyCon: string-type)) (TyRow: (Lab: |3|) (CONTy: (Tyseq:) (LongTyCon: IdsCore.StrId-type))))))
                    (VARTy: (TyVar: |'a|)))))
                 (SEQSpec:
                  (VALSpec:
                   (ValDesc:
                    (VId: errorSigId)
                    (ARROWTy:
                     (RECORDTy:
                      (TyRow:
                       (Lab: |1|)
                       (CONTy: (Tyseq:) (LongTyCon: position-type))
                       (TyRow:
                        (Lab: |2|)
                        (CONTy: (Tyseq:) (LongTyCon: string-type))
                        (TyRow: (Lab: |3|) (CONTy: (Tyseq:) (LongTyCon: IdsModule.SigId-type))))))
                     (VARTy: (TyVar: |'a|)))))
                  (SEQSpec:
                   (VALSpec:
                    (ValDesc:
                     (VId: errorFunId)
                     (ARROWTy:
                      (RECORDTy:
                       (TyRow:
                        (Lab: |1|)
                        (CONTy: (Tyseq:) (LongTyCon: position-type))
                        (TyRow:
                         (Lab: |2|)
                         (CONTy: (Tyseq:) (LongTyCon: string-type))
                         (TyRow: (Lab: |3|) (CONTy: (Tyseq:) (LongTyCon: IdsModule.FunId-type))))))
                      (VARTy: (TyVar: |'a|)))))
                   (SEQSpec:
                    (VALSpec:
                     (ValDesc:
                      (VId: errorLongVId)
                      (ARROWTy:
                       (RECORDTy:
                        (TyRow:
                         (Lab: |1|)
                         (CONTy: (Tyseq:) (LongTyCon: position-type))
                         (TyRow:
                          (Lab: |2|)
                          (CONTy: (Tyseq:) (LongTyCon: string-type))
                          (TyRow: (Lab: |3|) (CONTy: (Tyseq:) (LongTyCon: IdsCore.longVId-type))))))
                       (VARTy: (TyVar: |'a|)))))
                    (SEQSpec:
                     (VALSpec:
                      (ValDesc:
                       (VId: errorLongTyCon)
                       (ARROWTy:
                        (RECORDTy:
                         (TyRow:
                          (Lab: |1|)
                          (CONTy: (Tyseq:) (LongTyCon: position-type))
                          (TyRow:
                           (Lab: |2|)
                           (CONTy: (Tyseq:) (LongTyCon: string-type))
                           (TyRow: (Lab: |3|) (CONTy: (Tyseq:) (LongTyCon: IdsCore.longTyCon-type))))))
                        (VARTy: (TyVar: |'a|)))))
                     (VALSpec:
                      (ValDesc:
                       (VId: errorLongStrId)
                       (ARROWTy:
                        (RECORDTy:
                         (TyRow:
                          (Lab: |1|)
                          (CONTy: (Tyseq:) (LongTyCon: position-type))
                          (TyRow:
                           (Lab: |2|)
                           (CONTy: (Tyseq:) (LongTyCon: string-type))
                           (TyRow: (Lab: |3|) (CONTy: (Tyseq:) (LongTyCon: IdsCore.longStrId-type))))))
                        (VARTy: (TyVar: |'a|)))))))))))))))))))))))))