package frama-c

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

Passive Forms

type t
val empty : t
val is_empty : t -> bool
val union : t -> t -> t
val bind : fresh:Lang.F.var -> bound:Lang.F.var -> t -> t
val join : Lang.F.var -> Lang.F.var -> t -> t
val conditions : t -> (Lang.F.var -> bool) -> Lang.F.pred list
val apply : t -> Lang.F.pred -> Lang.F.pred
type binding =
  1. | Bind of Lang.F.var * Lang.F.var
  2. | Join of Lang.F.var * Lang.F.var
val iter : (binding -> unit) -> t -> unit
val pretty : Format.formatter -> t -> unit
OCaml

Innovation. Community. Security.