(module ORD_KEY-sig (planet chongkai/sml)
  (#%module-begin
   (Program:
    (SIGDECTopDec:
     (SigDec:
      (SigBind:
       (SigId: ORD_KEY-sig)
       (SIGSigExp:
        (SEQSpec:
         (TYPESpec: (TypDec: (TyVarseq:) (TyCon: ord_key-type)))
         (VALSpec:
          (ValDesc:
           (VId: compare)
           (ARROWTy:
            (RECORDTy: (TyRow: (Lab: |1|) (CONTy: (Tyseq:) (LongTyCon: ord_key-type)) (TyRow: (Lab: |2|) (CONTy: (Tyseq:) (LongTyCon: ord_key-type)))))
            (CONTy: (Tyseq:) (LongTyCon: order-type))))))))))
    (Program: (STRDECTopDec: (EMPTYStrDec:))))))