class Z3::Sort

• Z3::Sort
• Reference
• Object

Defined in:

z3/sort.cr

Constructors

• .new(context : Context, raw : LibZ3::Sort)

Instance Method Summary

• #finalize
• #to_unsafe : LibZ3::Sort

Constructor Detail

Instance Method Detail