package sawja

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module State : sig ... end
type variable = State.Var.t
type cst = {
  1. dependencies : variable list;
  2. target : variable;
  3. transferFun : State.t -> State.analysisDomain;
}
val get_dependencies : cst -> variable list
val get_target : cst -> variable
val pprint : Format.formatter -> cst -> unit
val apply_cst : ?do_join:bool -> ?modifies:bool ref -> State.t -> cst -> unit