package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `WitnessUtil.InvariantExp`

module ES : sig ... end

val pullOutCommonConjuncts : GoblintCil.Cil.exp -> ES.t

val process_exp : GoblintCil.exp -> ES.elt list