fact: Definition constantOfs {T} (af : args_for (Term var) T) : args_for_onelevel T := map_args_for constantOf af.
imports: Fiat.Parsers.Reflective.Syntax Fiat.Parsers.Reflective.Semantics Fiat.Parsers.Reflective.Syntactify Fiat.Common Fiat.Common.NatFacts Fiat.Common.List.Operations