uplc v0.7.20CekStateCekState export type CekState = | {computing: { stack: CekStack term: CekTerm }} | {reducing: CekValue} | {error: { message: string stack: CekStack }}