package goblint
Module TopDown
Top down solver using box/warrow. This is superseded by td3 but kept as a simple version without term & space (& incremental).
module WP
(S : Analyses.EqConstrSys)
(HM : Prelude.Hashtbl.S with type key = S.v) :
sig ... end