Interface Tactic<Name>

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

Type Parameters

Name extends string = "main"

Index

Properties

Properties

`Readonly`ctx

ctx: Context<Name>

`Readonly`ptr

ptr: Z3_tactic