Skip to main content

check

Function check 

Source
pub fn check(expression: impl Into<Expr>) -> ConstraintDefinitionIr