Vocabulary
benchmark.typecheck2

Inputs
objan object


Outputs
objan object
nan object


Definition