Documentation

LeanGccJit.Core.Object

Object is the superclass of almost every contextual structures in the library.

There is a tree hierarchy of objects.

For more details, see:

@[extern lean_gcc_jit_object_get_context]

Which Context is an Object within?

@[extern lean_gcc_jit_object_get_debug_string]

Generate a human-readable description for the given object.

Note #

Underlying the C API, this function call will create a string buffer attached to the object. It is of the same lifetime as the object itself.