Check if this is a concrete constant
(&self)
| 51 | |
| 52 | /// Check if this is a concrete constant |
| 53 | pub fn is_const(&self) -> bool { |
| 54 | matches!(self, Level::Const(_)) |
| 55 | } |
| 56 | |
| 57 | /// Create a concrete level |
| 58 | pub fn from_u32(n: u32) -> Self { |
nothing calls this directly
no outgoing calls
no test coverage detected