Function move_model::pragmas::is_pragma_valid_for_block

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

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