package frama-c

  1. Overview
  2. Docs

Module Letify.SigmaSource

Sourcetype t
Sourceval equal : t -> t -> bool
Sourceval pretty : string -> Format.formatter -> t -> unit
Sourceval e_apply : t -> Lang.F.term -> Lang.F.term
Sourceval p_apply : t -> Lang.F.pred -> Lang.F.pred
Sourceval empty : t
Sourceval add : Lang.F.var -> Lang.F.term -> t -> t
Sourceval assume : t -> Lang.F.pred -> t
Sourceval find : Lang.F.var -> t -> Lang.F.term
Sourceval iter : (Lang.F.var -> Lang.F.term -> unit) -> t -> unit
Sourceval domain : t -> Lang.F.Vars.t
Sourceval codomain : t -> Lang.F.Vars.t