Constant move_model::pragmas::OPAQUE_PRAGMA

pub const OPAQUE_PRAGMA: &str = "opaque";

Pragma indicating whether implementation of function should be ignored and instead interpreted by its pre and post conditions only.