JAR: JAM Axiomatic Reference

1.1. Optional Substitution🔗

def

substituteIfNone.{u_1} {α : Type u_1} : List (Option α) → Option α
substituteIfNone.{u_1} {α : Type u_1} :
  List (Option α) → Option α

Substitute-if-nothing (𝒰). GP eq (2). Returns the first non-none argument, or none if all are none.