(module LIB_BASE-sig (planet chongkai/sml)
  (#%module-begin
   (Program:
    (SIGDECTopDec:
     (SigDec:
      (SigBind:
       (SigId: LIB_BASE-sig)
       (SIGSigExp:
        (SEQSpec:
         (EXCEPTIONSpec: (ExDesc: (VId: Unimplemented) (CONTy: (Tyseq:) (LongTyCon: string-type))))
         (SEQSpec:
          (EXCEPTIONSpec: (ExDesc: (VId: Impossible) (CONTy: (Tyseq:) (LongTyCon: string-type))))
          (SEQSpec:
           (EXCEPTIONSpec: (ExDesc: (VId: NotFound)))
           (SEQSpec:
            (VALSpec:
             (ValDesc:
              (VId: failure)
              (ARROWTy:
               (RECORDTy:
                (TyRow:
                 (Lab: module)
                 (CONTy: (Tyseq:) (LongTyCon: string-type))
                 (TyRow: (Lab: func) (CONTy: (Tyseq:) (LongTyCon: string-type)) (TyRow: (Lab: msg) (CONTy: (Tyseq:) (LongTyCon: string-type))))))
               (VARTy: (TyVar: |'a|)))))
            (SEQSpec:
             (VALSpec:
              (ValDesc:
               (VId: version)
               (RECORDTy:
                (TyRow:
                 (Lab: date)
                 (CONTy: (Tyseq:) (LongTyCon: string-type))
                 (TyRow:
                  (Lab: system)
                  (CONTy: (Tyseq:) (LongTyCon: string-type))
                  (TyRow: (Lab: version_id) (CONTy: (Tyseq: (CONTy: (Tyseq:) (LongTyCon: int-type))) (LongTyCon: list-type))))))))
             (VALSpec: (ValDesc: (VId: banner) (CONTy: (Tyseq:) (LongTyCon: string-type))))))))))))))))