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

val add_effects : 
  (string ->
    GoblintCil.Cil.exp list ->
    (GoblintCil.Cil.lval * ValueDomain.Compound.t) list option) ->
  unit

val effects_for : 
  string ->
  GoblintCil.Cil.exp list ->
  (GoblintCil.Cil.lval * ValueDomain.Compound.t) list list