law range_get_out

minebender-game@1.0.0.0 · proof_base.bend:421

import Base

421law range_get_out:
422  for +n: Nat
423  for +i: Nat
424  for e: {Nat.is_lt(i, n) == False{} : Bool}
425  {List.get(&2, Nat, List.range(n), i) == None{} : Maybe<&2, Nat>}