Module Shapes

Shape analysis for cyclic doubly linked lists.

module GU = Goblintutil
module Re = Region.Spec
module Spec : sig ... end