Skip to main content
VERIFIED
planarian_
gym
0.0.0
In planarian_
gym::
site
planarian_gym
::
site
Constant
VERIFIED
Copy item path
Source
const VERIFIED: &[&
str
];
Expand description
The crates Verus checks: a function there is a verified fn.