Type Alias InvisibleGoal

Source

pub type InvisibleGoal = OutputConstraint<String>;

Aliased Type§

pub enum InvisibleGoal {
Show 18 variants
    OfType(OfType<String>),
    CmpInType {
        constraint_objs: (String, String),
        of_type: String,
        comparison: Comparison,
    },
    CmpElim {
        constraint_objs: (Vec<String>, Vec<String>),
        of_type: String,
        polarities: Vec<Polarity>,
    },
    JustType(JustSomething<String>),
    JustSort(JustSomething<String>),
    CmpTypes(CmpSomething<String>),
    CmpLevels(CmpSomething<String>),
    CmpTeles(CmpSomething<String>),
    CmpSorts(CmpSomething<String>),
    Guard {
        constraint: Box<OutputConstraint<String>>,
        problem: i32,
    },
    Assign {
        constraint_obj: String,
        value: String,
    },
    TypedAssign(TypedAssign<String>),
    PostponedCheckArgs(PostponedCheckArgs<String>),
    IsEmptyType {
        the_type: String,
    },
    SizeLtSat {
        the_type: String,
    },
    FindInstanceOF(FindInstanceOF<String>),
    PTSInstance {
        constraint_objs: (String, String),
    },
    PostponedCheckFunDef {
        name: String,
        of_type: String,
    },
}