@leanprover/infoview

Preparing search index...

index
RpcWireFormat

Type Alias RpcWireFormat

RpcWireFormat: "v0" | "v1"

Defined in lean4-infoview-api/dist/infoviewApi.d.ts:4

Settings

Member Visibility

Protected
Inherited
External

Theme

@leanprover/infoview

Loading...

Generated using TypeDoc