2.1Infix Procedure🔗 i

value

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

procedure

( infix-app vlin) →

syntax? (listofsyntax? )

v:any/c

l:(or/csyntax? #f)

in:(listofsyntax? )

procedure

( infix-default lin) →

syntax? (listofsyntax? )

l:(or/csyntax? #f)

in:(listofsyntax? )

2.2Infix Precedence🔗 i

value

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

procedure

( cmp-prec vRn)→boolean?

v:any/c

R:(any/cany/c->boolean? )

n:any/c

2.3Constructing Tokens🔗 i

procedure

( make-infix-token proc[precex])→any/c?

proc:procedure?

prec:any/c=#f

ex:(syntax? ->syntax? )=#f

syntax

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

(infix-lambdaheadprec-optbody...+ex-opt)

infix-arg = prec-arg

| proc

| ex-arg

prec-arg =

| #:precprec

| #:precedenceprec

ex-arg =

| #:exex

| #:expandex

syntax

( infix-lambda headprec-optbody...+ex-opt)