Variable OFFICIAL_TOOL_CONTRACTSConst

OFFICIAL_TOOL_CONTRACTS: readonly [
    ToolContract<"address_name">,
    ToolContract<"comment">,
    ToolContract<"current_address">,
    ToolContract<"current_procedure">,
    ToolContract<"current_document">,
    ToolContract<"goto_address">,
    ToolContract<"inline_comment">,
    ToolContract<"list_bookmarks">,
    ToolContract<"list_documents">,
    ToolContract<"list_names">,
    ToolContract<"list_procedures">,
    ToolContract<"list_segments">,
    ToolContract<"list_strings">,
    ToolContract<"next_address">,
    ToolContract<"prev_address">,
    ToolContract<"procedure_address">,
    ToolContract<"procedure_assembly">,
    ToolContract<"procedure_callees">,
    ToolContract<"procedure_callers">,
    ToolContract<"procedure_info">,
    ToolContract<"procedure_references">,
    ToolContract<"procedure_pseudo_code">,
    ToolContract<"resolve_containing_procedure">,
    ToolContract<"search_procedures">,
    ToolContract<"search_strings">,
    ToolContract<"set_address_name">,
    ToolContract<"set_addresses_names">,
    ToolContract<"set_bookmark">,
    ToolContract<"set_comment">,
    ToolContract<"set_current_document">,
    ToolContract<"set_inline_comment">,
    ToolContract<"unset_bookmark">,
    ToolContract<"xrefs">,
] = ...