Closed eyalroz closed 4 months ago
library kernel get_attribute doesn't currently return the value, and set_attribute has a non-void return value in its signatures :-(
library kernel get_attribute doesn't currently return the value, and set_attribute has a non-void return value in its signatures :-(