fact: Definition meanings {T} (af : args_for (Term normalized_of) T) : arg_meanings_for T := map_args_for meaning af.
imports: Fiat.Parsers.Reflective.Syntax Fiat.Parsers.Reflective.Semantics Fiat.Parsers.Reflective.Syntactify Fiat.Common Fiat.Common.NatFacts Fiat.Common.List.Operations