fact: Definition lift_condition_opt {A B} (fn: A -> option B) (cnd: B -> bool) : condition A := fun a => match (fn a) with | Some b => cnd b | None => false end.
imports: Coq.Lists.List Fiat.Narcissus.Examples.Guard.Core