Vocabulary
benchmark.typecheck3

Inputs
objan object


Outputs
objan object
nan object


Definition