On this page:
2.1 Infix Procedure
prop:  infix-procedure
infix-app
infix-default
2.2 Infix Precedence
prop:  infix-precedence
cmp-prec
2.3 Constructing Tokens
make-infix-token
infix-token
infix-lambda

2 Infix Tokens

2.1 Infix Procedure

value

prop:infix-procedure : struct-type-property?

procedure

(infix-app v l in)  
syntax? (listof syntax?)
  v : any/c
  l : (or/c syntax? #f)
  in : (listof syntax?)

procedure

(infix-default l in)  
syntax? (listof syntax?)
  l : (or/c syntax? #f)
  in : (listof syntax?)

2.2 Infix Precedence

value

prop:infix-precedence : struct-type-property?

procedure

(cmp-prec v R n)  boolean?

  v : any/c
  R : (any/c any/c -> boolean?)
  n : any/c

2.3 Constructing Tokens

procedure

(make-infix-token proc [prec ex])  any/c?

  proc : procedure?
  prec : any/c = #f
  ex : (syntax? -> syntax?) = #f

syntax

(infix-token infix-opt ...+)

(infix-lambda head prec-opt body ...+ ex-opt)
 
infix-arg = prec-arg
  | proc
  | ex-arg
     
prec-arg = 
  | #:prec prec
  | #:precedence prec
     
ex-arg = 
  | #:ex ex
  | #:expand ex

syntax

(infix-lambda head prec-opt body ...+ ex-opt)