Vocabulary
benchmark.typecheck2

Inputs
objan object


Outputs
valuean object


Definition