Skip to main content

CekValue

export type CekValue = {name?: string} & {value: UplcValue}
  | {delay: {
    stack: CekStack
    term: CekTerm
  }}
  | {lambda: {
    argName?: string
    stack: CekStack
    term: CekTerm
  }}
  | {builtin: {
    args: CekValue[]
    forceCount: number
    id: number
    name: string
  }}