fact: Definition option_simple_parse_of_orb (x : option simple_parse_of_production) (xs : option simple_parse_of) : option simple_parse_of := match x, xs with | Some x', _ => Some (SimpleParseHead x') | None, Some xs' => Some (SimpleParseTail xs') | None, None => None end.
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.BaseTypes Fiat.Parsers.GenericBaseTypes Fiat.Parsers.GenericRecognizer