package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Transform`

module type S = sig ... end

val h : (string, (module S)) Prelude.Hashtbl.t

val register : string -> (module S) -> unit

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

module PartialEval : sig ... end