Module SimplifiedAnalysis.DefaultSpec

val query : 'b -> 'c -> 'a Queries.t -> 'a Queries.result
val assign : 'a -> 'b -> GoblintCil.lval -> GoblintCil.exp -> 'b
val branch : 'a -> 'b -> GoblintCil.exp -> bool -> 'b
val body : 'a -> 'b -> GoblintCil.fundec -> 'b
val return : 'a -> 'b -> GoblintCil.exp option -> GoblintCil.fundec -> 'b
val enter : 'a -> 'b -> GoblintCil.lval option -> GoblintCil.fundec -> GoblintCil.exp list -> 'b
val combine : 'a -> 'b -> 'c -> GoblintCil.lval option -> GoblintCil.fundec -> GoblintCil.exp list -> 'c
val special : 'a -> 'b -> GoblintCil.lval option -> GoblintCil.varinfo -> GoblintCil.exp list -> 'b
val startcontext : unit
val context : 'a -> ('b * 'c) -> 'd -> 'e -> 'c