fact: Definition interp_Term : forall {T} (t : Term interp_TypeCode T), interp_TypeCode T := @interp_Term_gen (@interp_RLiteralTerm).
imports: Coq.Strings.String Fiat.Parsers.Reflective.Syntax Fiat.Parsers.Reflective.Syntactify Fiat.Common.NatFacts Fiat.Common.BoolFacts Fiat.Common.List.Operations