Sets a bussproofs property used for postprocessing and to convey semantics. Uses the bspr prefix.
The node.
The property to set.
Its value.
Sets a bussproofs property used for postprocessing and to convey semantics. Uses the bspr prefix.