(module FIN_MAP-sig (planet chongkai/sml)
  (#%module-begin
   (Program:
    (SIGDECTopDec:
     (SigDec:
      (SigBind:
       (SigId: FIN_MAP-sig)
       (SIGSigExp:
        (SEQSpec:
         (INCLUDESpec: (IDSigExp: (SigId: ORD_MAP-sig)))
         (SEQSpec:
          (EXCEPTIONSpec: (ExDesc: (VId: NotFound)))
          (SEQSpec:
           (EXCEPTIONSpec: (ExDesc: (VId: Duplicate)))
           (SEQSpec:
            (VALSpec:
             (ValDesc:
              (VId: fromList)
              (ARROWTy:
               (CONTy:
                (Tyseq: (PARTy: (RECORDTy: (TyRow: (Lab: |1|) (CONTy: (Tyseq:) (LongTyCon: Key.ord_key-type)) (TyRow: (Lab: |2|) (VARTy: (TyVar: |'a|)))))))
                (LongTyCon: list-type))
               (CONTy: (Tyseq: (VARTy: (TyVar: |'a|))) (LongTyCon: map-type)))))
            (SEQSpec:
             (VALSpec:
              (ValDesc:
               (VId: delete)
               (ARROWTy:
                (RECORDTy:
                 (TyRow:
                  (Lab: |1|)
                  (CONTy: (Tyseq: (VARTy: (TyVar: |'a|))) (LongTyCon: map-type))
                  (TyRow: (Lab: |2|) (CONTy: (Tyseq:) (LongTyCon: Key.ord_key-type)))))
                (CONTy: (Tyseq: (VARTy: (TyVar: |'a|))) (LongTyCon: map-type)))))
             (SEQSpec:
              (VALSpec:
               (ValDesc:
                (VId: difference)
                (ARROWTy:
                 (RECORDTy:
                  (TyRow:
                   (Lab: |1|)
                   (CONTy: (Tyseq: (VARTy: (TyVar: |'a|))) (LongTyCon: map-type))
                   (TyRow: (Lab: |2|) (CONTy: (Tyseq: (VARTy: (TyVar: |'a|))) (LongTyCon: map-type)))))
                 (CONTy: (Tyseq: (VARTy: (TyVar: |'a|))) (LongTyCon: map-type)))))
              (SEQSpec:
               (VALSpec:
                (ValDesc:
                 (VId: all)
                 (ARROWTy:
                  (PARTy: (ARROWTy: (VARTy: (TyVar: |'a|)) (CONTy: (Tyseq:) (LongTyCon: bool-type))))
                  (ARROWTy: (CONTy: (Tyseq: (VARTy: (TyVar: |'a|))) (LongTyCon: map-type)) (CONTy: (Tyseq:) (LongTyCon: bool-type))))))
               (SEQSpec:
                (VALSpec:
                 (ValDesc:
                  (VId: exists)
                  (ARROWTy:
                   (PARTy: (ARROWTy: (VARTy: (TyVar: |'a|)) (CONTy: (Tyseq:) (LongTyCon: bool-type))))
                   (ARROWTy: (CONTy: (Tyseq: (VARTy: (TyVar: |'a|))) (LongTyCon: map-type)) (CONTy: (Tyseq:) (LongTyCon: bool-type))))))
                (SEQSpec:
                 (VALSpec:
                  (ValDesc:
                   (VId: alli)
                   (ARROWTy:
                    (PARTy:
                     (ARROWTy:
                      (RECORDTy: (TyRow: (Lab: |1|) (CONTy: (Tyseq:) (LongTyCon: Key.ord_key-type)) (TyRow: (Lab: |2|) (VARTy: (TyVar: |'a|)))))
                      (CONTy: (Tyseq:) (LongTyCon: bool-type))))
                    (ARROWTy: (CONTy: (Tyseq: (VARTy: (TyVar: |'a|))) (LongTyCon: map-type)) (CONTy: (Tyseq:) (LongTyCon: bool-type))))))
                 (SEQSpec:
                  (VALSpec:
                   (ValDesc:
                    (VId: existsi)
                    (ARROWTy:
                     (PARTy:
                      (ARROWTy:
                       (RECORDTy: (TyRow: (Lab: |1|) (CONTy: (Tyseq:) (LongTyCon: Key.ord_key-type)) (TyRow: (Lab: |2|) (VARTy: (TyVar: |'a|)))))
                       (CONTy: (Tyseq:) (LongTyCon: bool-type))))
                     (ARROWTy: (CONTy: (Tyseq: (VARTy: (TyVar: |'a|))) (LongTyCon: map-type)) (CONTy: (Tyseq:) (LongTyCon: bool-type))))))
                  (VALSpec:
                   (ValDesc:
                    (VId: disjoint)
                    (ARROWTy:
                     (RECORDTy:
                      (TyRow:
                       (Lab: |1|)
                       (CONTy: (Tyseq: (VARTy: (TyVar: |'a|))) (LongTyCon: map-type))
                       (TyRow: (Lab: |2|) (CONTy: (Tyseq: (VARTy: (TyVar: |'a|))) (LongTyCon: map-type)))))
                     (CONTy: (Tyseq:) (LongTyCon: bool-type))))))))))))))))))))))