Enum RefineArg

pub enum RefineArg {
    Bind(Ident, BindKind, Span, NodeId),
    Expr(Expr),
    Abs(RefineParams, Expr, Span, NodeId),
}

Variants

Bind(Ident, BindKind, Span, NodeId)

@n or #n, the span corresponds to the span of the identifier plus the binder token (@ or #)

Expr(Expr)

Abs(RefineParams, Expr, Span, NodeId)

Trait Implementations

impl Debug for RefineArg

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.