• Robbert Krebbers's avatar
    Add an `AsVal` type class. · b2ed0162
    Robbert Krebbers authored
    This class, in combination with `TCForall`, turns out the useful in
    LambdaRust to express that lists of expressions are values.
    b2ed0162
lifting.v 6.98 KB