typecheck3-benchmark ( -- )


Vocabulary
benchmark.typecheck3

Inputs
None

Outputs
None

Definition