α
unfold (
α
 
_
, 
(
α
α
)
 
_
, 
(
α
bool
)
 
_)
An alias for for

Comments

The browser you use is not supported by this application, probably because it lacks some critical features.
For a better experience, please consider using this application with a supported browser.