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)