Vocabulary
benchmark.typecheck3

Inputs
objan object


Outputs
valan object


Definition