Interface Probe<Name>

interface Probe<Name extends string = "main"> {
    ctx: Context<Name>;
    ptr: Z3_probe;
}

Type Parameters

  • Name extends string = "main"

Properties

ctx ptr

Properties

Readonlyctx

ctx: Context<Name>

Readonlyptr

ptr: Z3_probe

Settings

Member Visibility

On This Page

Properties