(module INITIAL_INFIX_ENV-sig (planet chongkai/sml)
  (#%module-begin
   (Program:
    (SIGDECTopDec:
     (SigDec:
      (SigBind:
       (SigId: INITIAL_INFIX_ENV-sig)
       (SIGSigExp:
        (SEQSpec:
         (SEQSpec:
          (INCLUDESpec:
           (WHERETYPESigExp:
            (SIGSigExp: (TYPESpec: (TypDec: (TyVarseq:) (TyCon: InfEnv-type))))
            (TyVarseq:)
            (LongTyCon: InfEnv-type)
            (CONTy: (Tyseq:) (LongTyCon: Infix.InfEnv-type))))
          (EMPTYSpec:))
         (VALSpec: (ValDesc: (VId: J0) (CONTy: (Tyseq:) (LongTyCon: InfEnv-type))))))))))))