Closed
Description
Our declarations for "rust-intrinsic" functions are currently located wherever they are needed. It would be more useful and probably more maintainable to just declare them all in the injected intrinsic.rs file. Also, they should be documented, because they are currently pretty mysterious.