Attribute Macro hacspec_lib::prelude::not_hacspec
source · [−]#[not_hacspec]Expand description
Function that is not part of the language but is offered as a helper for tests, etc.
#[not_hacspec]Function that is not part of the language but is offered as a helper for tests, etc.