Function move_model::pragmas::is_pragma_valid_for_block

source · 
pub fn is_pragma_valid_for_block(
    target: &SpecBlockContext<'_>,
    pragma: &str
) -> bool
Expand description

Checks whether a pragma is valid in a specific spec block.