Function erg_compiler::ty::constructors::refinement
source · pub fn refinement(var: Str, t: Type, pred: Predicate) -> Type
Expand description
{I: Int | I >= 0}
=> Refinement{
layout: TyParam::MonoQ "I",
bounds: [TyBound::Instance("I", "Int")],
pred: Predicate::GreaterEqual("I", 0)
}