ConceptSortModified just nowProperties 3Hide BooksChapter 1. Abstract syntax JourneyProgramming Language Theory StatuslearningA Syntactic category that classifies Abstract syntax tree (AST)s. Roughly a type for ASTs. Previous in ConceptsSmt solverNext in Concepts Sound