CekStack

export type CekStack = {
  callSites: CallSiteInfo[]
  values: CekValue[]
}