Define recursive Heapster shapes from recursive Rust types#1357

Merged

mergify[bot] merged 3 commits intomasterfrom rust-recursive-types-redo

Jun 28, 2021

+256-84

Commits on Jun 25, 2021

Implemented Rust recursive types (squashed commit)
Eddy Westbrook
committed
migrated HeapsterBuiltins.hs changesthat were intended as part of the previous commit
Eddy Westbrook
committed

Commits on Jun 28, 2021

Merge branch 'master' into rust-recursive-types-redo
Eddy Westbrook
authored