package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Transform.PartialEval`

val loc : Cil.location Prelude.ref

class visitor : (Cil.location -> Queries.ask) -> object ... end

val transform : (Cil.location -> Queries.ask) -> Cil.file -> unit