Commit d6710e4b authored by John van Groningen's avatar John van Groningen

import StdClass instead of StdEnv

parent 3af695ce
definition module Heap definition module Heap
import StdEnv import StdClass
:: Heap v = {heap::!.HeapN v} :: Heap v = {heap::!.HeapN v}
:: HeapN v :: HeapN v
...@@ -33,4 +33,3 @@ where ...@@ -33,4 +33,3 @@ where
(ptr, val) = ptr_and_val (ptr, val) = ptr_and_val
instance == (Ptr a) instance == (Ptr a)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment