class

Z3::Sort

Inherits Reference < Object

Constructors

new(context : Context, raw : LibZ3::Sort)
Source

Instance methods

finalize
Source
to_unsafe
Source