Source

frawor / test / mappings.ok

> 2
args: ('"ap', 'n', ['def'], 'Mgroup3', 'iota', ['abc'])
h
args: ()
args: ()
k
β
α
ε
β
α
=P
ε
ε
e
δ
d
ζ
=zeta!
η
=eta!
> 1
args: ('"ap', 'n', ['def'], 'Mgroup3', 'iota', ['abc'])
h
args: ()
args: ()
k
β
α
ε
β
α
=P
ε
ε
e
δ
d
ζ
=zeta!
=g!
> 2
+ twoload
args: ('"ap', 'n', ['def'], 'Mgroup3', 'iota', ['abc'])
h
args: ()
args: ()
lambda: ('k')
β
α
ε
β
α
=P
ε
ε
e
δ
d
ζ
=zeta!
η
=eta!
> 1
args: ('"ap', 'n', ['def'], 'Mgroup3', 'iota', ['abc'])
h
args: ()
args: ()
lambda: ('k')
β
α
ε
β
α
=P
ε
ε
e
δ
d
ζ
=zeta!
=g!
> 2
* unload
h
=apaste
j
=apaste
l
=apaste
=a
=paste
=Pa
=paste
e
=paste
d
=paste
d
=f!
=g!
> 1
h
=apaste
j
=apaste
l
=apaste
=a
=paste
=Pa
=paste
e
=paste
d
=paste
d
=f!
=g!
> 2
* source
args: ('"ap', 'n', ['def'], 'Mgroup3', 'iota', ['abc'])
h
args: ()
args: ()
lambda: ('k')
β
α
ε
β
α
=P
ε
ε
e
δ
d
ζ
=zeta!
η
=eta!
> 1
args: ('"aph', 'n', ['def'], 'Mgroup3', 'iota', ['abc'])
γ
γ
lambda: ('k')
β
α
ε
β
α
=P
ε
ε
δ
d
ζ
=zeta!
=g!
> 2