package calli

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

Interprocedural Control Flow Graph module tailored to the user-provided context and abstract memory.

module M : sig ... end

type t = Stdlib.String.t list M.t

val find : M.key -> 'a M.t -> 'a

val empty : 'a M.t

val add : M.key -> 'a -> 'a M.t -> 'a M.t

val iter : (M.key -> 'a -> unit) -> 'a M.t -> unit

val make : Function.t Module.M.t -> t

val prev : Basicblock.t -> Function.t Module.M.t -> Basicblock.t list

val next_fallback : Basicblock.t -> Function.t Module.M.t -> Basicblock.t list

val next_intra : 
  Basicblock.t ->
  Ctxt.t ->
  AbsMem.t ->
  'a ->
  Function.t Module.M.t ->
  (Basicblock.t * Ctxt.t) list

val next : 
  Basicblock.t ->
  Ctxt.t ->
  AbsMem.t ->
  Bbpool.M.key list M.t ->
  Function.t Module.M.t ->
  (Basicblock.t * Ctxt.t) list

val pp : 'a -> string list M.t -> unit