Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

AssertionCopy

Fully qualified path: pragma_lib::types::AssertionCopy

impl AssertionCopy of Copy<Assertion>;