Resources

public class System.Resources : System.Any
{
    static field builtIn: System.Dictionary<System.String<u8>, i32>
    static field installed: System.Dictionary<System.String<u8>, u8[]>
    static field installedNames: System.List<System.String<u8>>
    static method Count() -> i32
    static method NameOf(index: i32) -> u8[]
    static method BytesOf(index: i32) -> u8[]
    static method LengthOf(index: i32) -> i32
    static method DataOf(index: i32) -> u8*
    static method BuiltIn() -> System.Dictionary<System.String<u8>, i32>
    // Adds a resource at run time (a later one with the same name replaces it, and hides a built-in one).
    static method Install(name: System.String<u8>, bytes: u8[]) -> void
    // Whether the program has resource `name`.
    static method Has(name: System.String<u8>) -> bool
    // The bytes of resource `name` (a copy), or null when there is none.
    static method Read(name: System.String<u8>) -> u8[]?
    // The text (UTF-8) of resource `name`, or null when there is none.
    static method ReadText(name: System.String<u8>) -> System.String<u8>?
    // Resource `name` read in place (no copy), or null when there is none.
    static method View(name: System.String<u8>) -> System.ResourceData?
    // The names of every resource: the built-in ones in build order, then the installed ones.
    static method Names() -> System.String<u8>[]
}