code-annotations

Code annotation requirements for pikru. Use when writing or porting Rust functions from C code. All ported functions must have cref comments.