S1 (p.goblint.2.0.0.doc.goblint.lib.Goblint

val solve : 
  (S.v -> S.d -> S.d -> S.d) ->
  (S.v * S.d) list ->
  S.v list ->
  S.d HM.t

val wpoint : unit HM.t

val infl : S.v list HM.t

module X : sig ... end