fact: Definition option_SimpleParseProductionCons : option simple_parse_of_item -> option simple_parse_of_production -> option simple_parse_of_production := fun pit pits => match pit, pits with | Some pit', Some pits' => Some (SimpleParseProductionCons pit' pits') | None, _ => None | _, None => None end.
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.BaseTypes Fiat.Parsers.GenericBaseTypes Fiat.Parsers.GenericRecognizer