Module well_known

Structs§

pointer_struct: Returns the Pointer struct from the libdada prelude.
prelude_member 🔒: Returns the member of the libdada prelude with the given name, reporting an error if it is not found.
prelude_module 🔒: Returns the libdada prelude module. It must be present.
prelude_span: Returns the span of the libdada prelude. Used when a span is needed for diagnostics for something built-in, like a primitive.
report_not_found 🔒
report_unexpected 🔒
string_class: Returns the String class from the libdada prelude.
string_literal_fn: Returns the literal function of the String class from the libdada prelude.