typecheck1-benchmark ( -- )


Vocabulary
benchmark.typecheck1

Inputs
None

Outputs
None

Definition