Zero

BinarySig Denotation Environment Prefix Symbol Typing