fact: Definition forceOption A Err (o : option A) (err : Err) : match o with | Some _ => A | None => Err end := match o with | Some a => a | None => err end.
imports: Coq.Strings.String Coq.Strings.Ascii Coq.NArith.NArith