Zero

Ffi Denotation Environment Prefix Symbol Typing