Enum RTk 

pub enum RTk {
    Prim(String),
    Lit(Value),
    Range {
        lo: Value,
        hi: Value,
        excl: bool,
        base: String,
    },
    Pattern {
        src: String,
        re: Regex,
    },
    Arr {
        elem: RT,
        lo: Option<i64>,
        hi: Option<i64>,
    },
    Map {
        key: RT,
        val: RT,
    },
    Union(Vec<RT>),
    IsectN(Vec<RT>),
    Rec(RecType),
    Pred {
        base: RT,
        preds: Vec<Rc<Expr>>,
    },
    Ref(RT),
    Quantity(String),
    Func {
        params: Vec<RT>,
        ret: RT,
    },
    Any,
}

Variants

Prim(String)

Lit(Value)

Range

Fields

lo: Value

hi: Value

excl: bool

base: String

Pattern

Fields

src: String

re: Regex

Arr

Fields

elem: RT

lo: Option<i64>

hi: Option<i64>

Map

Fields

key: RT

val: RT

Union(Vec<RT>)

IsectN(Vec<RT>)

Rec(RecType)

Pred

Fields

base: RT

preds: Vec<Rc<Expr>>

Ref(RT)

Quantity(String)

Func

Fields

params: Vec<RT>

ret: RT

Any