Module type `DataFlow.DFStateType`

Module type used to define the state component for a dataflow algorithm.

type t: Type for state.

val equal : t -> t -> bool: Equality between states.

val join : t -> t -> t: Join two states (the old one is the first parameter).

val do_node : IR.Procdesc.Node.t -> t -> t list * t list: Perform a state transition on a node.

val proc_throws : IR.Procname.t -> throws: Can proc throw an exception?