TransitionInvariantParser (goblint.Goblint_lib.YamlWitness.Validator.TransitionInvariantParser)

val anyprev_regexp : Str.regexp

val anyprev_vname : string -> string

module StringSet : sig ... end

val parse_cabs : 
  string ->
  (GoblintCil.Cabs.expression * StringSet.t, string) Stdlib.result

val extvar_fix_visitor : GoblintCil.nopCilVisitor

val parse_cil : 
  InvariantParser.t ->
  ?check:bool ->
  fundec:GoblintCil.fundec ->
  loc:GoblintCil.Cil.location ->
  (GoblintCil.Cabs.expression * StringSet.t) ->
  (GoblintCil.exp, string) Stdlib.result