- asObject : α → IO LeanGccJit.Core.Object
Convert a subtype of
Objectinto 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.