<coverage-state> ( executed? -- coverage-state )


Vocabulary
tools.coverage

Inputs and outputs
executed?a boolean
coverage-statea coverage-state


Word description
Makes a coverage tuple. Users should not call this directly.

Definition