Module sort_terms

Structs

• BasicSort
• BasicSortRef
• BoolSort
• BoolSortRef
• FunctionSort
  Derived from SortExpression
• FunctionSortRef
• SortExpression
• SortExpressionRef

Functions

• is_basic_sort
• is_bool_sort
• is_data_function_sort
• is_sort_expression