const fn is_true(value: &bool) -> bool
Return whether a serialized invariant is true and can be omitted.