- asObject : α → IO LeanGccJit.Core.Object
Convert a subtype of
Object
into anObject
Instances
Get a string for debugging purpose. The string is typically a C
-style
representation of the object.
Instances For
Get the associated Context
for the Object
.