class Z3::TypeVariableSort

# File lib/z3/sort/type_variable_sort.rb, line 4
def initialize(name)
  @name = name
  super LowLevel.mk_type_variable(LowLevel.mk_symbol(name))
end

# File lib/z3/sort/sort.rb, line 3
def initialize(_ast)
  super(_ast)
  raise Z3::Exception, "Sorts must have AST kind sort" unless ast_kind == :sort
end

# File lib/z3/sort/type_variable_sort.rb, line 9
def expr_class
  TypeVariableExpr
end

# File lib/z3/sort/type_variable_sort.rb, line 13
def inspect
  "TypeVariableSort(#{name})"
end