Fixpoint.Interpreter

Type Aliases

type alias Database[r: Eff] = MutMap[RamSym, MutMap[Vector[Boxed], Boxed, r], r] Source

type alias SearchEnv[r: Eff] = (Array[Vector[Boxed], r], Array[Boxed, r]) Source