fact: Definition unmeanings {T} (args : arg_meanings_for T) : args_for (Term var) T := map_args_for (fun _ => reify) args.
imports: Fiat.Parsers.Reflective.Syntax Fiat.Parsers.Reflective.Semantics Fiat.Parsers.Reflective.Syntactify Fiat.Common Fiat.Common.NatFacts Fiat.Common.List.Operations