fact: Fixpoint interp_SimpleTypeCode (t : SimpleTypeCode) := interp_SimpleTypeCode_step (@interp_SimpleTypeCode) t.
imports: Coq.Strings.String Fiat.Parsers.Reflective.Syntax Fiat.Parsers.Reflective.Syntactify Fiat.Common.NatFacts Fiat.Common.BoolFacts Fiat.Common.List.Operations