)
(T >>)>>>
>>
(M A)
> >>
))
>
(M A)
>
> >>
)
"AUX" (TP ) VAL EXP1)
>
FORM>>)
(
> GIVEN>
>
>>
.EXP>)
(<==? .EXP1 ALTER>
?()>
) .TP>)
(<==? .EXP1 VEL>
) P1)
()
>
>
>
>>)
(<==? .EXP1 BE>
> >
.EXP)
(<==? .EXP1 ET>
> .EXP>
) (PATS ))
>>
>
> >>)
(T .EXP)>)
( .EXP)
(<==? > > SEGMENT>
(!>
!>))
(<==? SACTORFORM>
>
'(ACTORFORM SACTORFORM)>
(
!>)>
(!.VAL !>)>)
(T ( !>))> >> FALSE> >>
FORM> >>
UNASSIGNED> >>
SEGMENT> >>
>>
>>
) (OBLIGATORY T) (ENV <>)
"AUX" ACTOR)
>
>>)
(>>)>
ACTOR-FUNCTION>
'.OBJECT
'.BOUNDARY
.OBLIGATORY
!>>)
(<==? ACTOR>
)
()> >>
)
()> >>
>>
'(ACTOR ACTOR-FUNCTION)> >>) (TP )
(A2 > <2 .AFORM>>))
)
(T >
.AFORM)>)
(<==? .A1 ALTER>
>
)
(<==? .A1 VEL>
.PURESWITCH>))
FORM>>>
.PAT)
()>>)
(<==? .A1 BE>
>
.TP>)
(<==? .A1 ET>
>
.TP>>>
) (SPATS ())
(BEG ()) (P <>))
>>
>
>)
(>>
>
>>
>
> >
>>
>
> >)
(T !.SPATS)>)> >)
(.AFORM)> >>))
>
.VAL1)
(<==? FORM>
>
)
(
>) >)
(T .VAL1) > >>
)>
>> >>)
"AUX" (VAL ..VAR) VAL1)
>>
<==? .BEG .VAL>>
<==? .VAL .ENDVAR>>
>
)>
>
>>>
.VAL)
(<==? FORM>
(>
)
(
>) >))
(<==? SEGMENT>
>
>
SEGMENT>>>
.VAL1>
(.VAL1)>)
(
>) >>
>>
)
(T .VAL1)>)
(T .VAL)>)
(.BEG)> >>
)) <> ()
>
> >>
>>)
"AUX" (PURE <>) TP EXP1)
>
>>
>
>
FORM>>>
>
!.EXP1
!.>>>>)
(T >) >
<> .EXP1 !.>> >>
>
'(LIST FORM VECTOR SEGMENT VECTOR)>> >>
'(FORM SEGMENT)>
>
>> >>
))
> UNASSIGNED>
LIST>))
>>
> .OBJECT .BOUNDARY .OBLIGATORY <2 <1 .V>>>>
> >>
.OBLIGATORY>
>)
(T
>)>)
(T .OBLIGATORY>
.BOUNDARY)
(T >)>>>)>
.BOUNDARY >>
>
)> >>
))
<==? .N > >
.BOUNDARY)
(.N
>
)
(T )>)
(T )> >>
.OBLIGATORY>
.BOUNDARY)
(T >)>>>
.BOUNDARY >>
>> >
>>> >>
>)
(<==? > SEGMENT>
>
>)
(T >)>
> > >>
))
.KOUNT>
>
> >>
.K)
(T >
>
)> >>
<==? .L1 .TERM1>>
)
(<==? .L2 .TERM2> )>
<1 .L2>> >
> >
>>
>>
) (OBLIGATORY T) (ENV <>)
"AUX" (BEG ()) PURE ENDP BETA ENDE K ENDP1)
>>)
(
>>)
(
>)>
>
>>
>)
(.PURE
>
)
(<==? > SEGMENT>
>)
(T <1 .EXP>>
>)> >
>
>
)
(<==? > SEGMENT>
.EXP
.ENDE
.OBLIGATORY>>>)
(<==? .EXP .ENDE>