spade_typeinference::constraints

Function ce_int

Source 
pub fn ce_int(v: BigInt) -> ConstraintExpr