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