class Z3::Symbol

• Z3::Symbol
• Reference
• Object

Defined in:

z3/symbol.cr

Class Method Summary

• .from_int(c : Context, i : Int32)
• .from_string(c : Context, name : String)

Instance Method Summary

• #to_unsafe : LibZ3::Symbol

Class Method Detail

Instance Method Detail