typecheck2-benchmark ( -- )


Vocabulary
benchmark.typecheck2

Inputs
None

Outputs
None

Definition