PartialEval (p.goblint.2.1.0.doc.goblint.lib.Goblint

val loc : GoblintCil.location Prelude.ref

class visitor : (?node:Node.t -> GoblintCil.Cil.location -> Queries.ask) -> object ... end

val transform : 
  (?node:Node.t -> GoblintCil.Cil.location -> Queries.ask) ->
  GoblintCil.file ->
  unit