Vocabulary
benchmark.typecheck1

Inputs
objan object


Outputs
objan object
nan object


Definition