lift

Lift a simple constant

  1. Lift!T lift(T value)
    lift
    (
    T
    )
    ()
    if (
    !is(T : Lift!U,
    U
    )
    )
  2. Lift!T lift(Lift!T lifted)

Meta