package sawja

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module State : State.S

Signature

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 : Stdlib.Format.formatter -> cst -> unit
val apply_cst : ?do_join:bool -> ?modifies:bool Stdlib.ref -> State.t -> cst -> unit
OCaml

Innovation. Community. Security.