let
alpha x =
match
!context
with
|
[]
->
None
|
c::_
->
Some
(
F
.freshen c.pool x)