Class ExprCase

Hierarchy (View Summary)

Case
- ExprCase

Index

Constructors

Properties

canonize? e1 e2 engine env input max note

Methods

Constructors

constructor

new ExprCase(
    input: FreeVar[],
    options: AddCaseOptions,
    terms: string[],
): ExprCase
Parameters
- input: FreeVar[]
- options: AddCaseOptions
- terms: string[]
Returns ExprCase
Overrides Case.constructor
- Defined in quest.ts:415

Properties

`Optional`canonize

canonize?: { max?: number; maxArgs?: number; maxSize?: number }

e1

e2

engine

engine: Parser

env

env: { [key: string]: Expr }

input

input: FreeVar[]

max

max: number

Param: input

Param: options

note

note: string

Methods

check

check(...input: Expr[]): CaseResult
Parameters
- ...input: Expr[]
Returns CaseResult
Overrides Case.check
- Defined in quest.ts:425

parse

parse(src: string): Subst
Parameters
- src: string
Returns Subst
Inherited from Case.parse
- Defined in quest.ts:383