typemove@typemove/suibuiltin0x2NamespacesproverCopy MarkdownOpenNamespace in @typemove/sui/builtin/0x2Defined in @typemove/sui/builtin/0x2 Namespaces builder view protocol_configNamespace in @typemove/sui/builtin/0x2builderNamespace in @typemove/sui/builtin/0x2 › prover
