Class CaseAbstract

constructor

• new Case(input: FreeVar[], options: AddCaseOptions): Case

  Parameters

  • input: FreeVar[]
  • options: AddCaseOptions

  Returns Case

engine

env

input

max

note

Abstractcheck

• check(...input: Expr[]): CaseResult

  Parameters

  • ...input: Expr[]

  Returns CaseResult

parse

• parse(src: string): Subst

  Parameters

  • src: string

  Returns Subst