package frama-c

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

Module Wp.CleaningSource

Sourcetype usage
Sourceval create : unit -> usage
Sourceval as_term : usage -> Lang.F.term -> unit
Sourceval as_atom : usage -> Lang.F.pred -> unit
Sourceval as_type : usage -> Lang.F.pred -> unit
Sourceval as_have : usage -> Lang.F.pred -> unit
Sourceval as_init : usage -> Lang.F.pred -> unit
Sourceval filter_type : usage -> Lang.F.pred -> Lang.F.pred
Sourceval filter_pred : usage -> Lang.F.pred -> Lang.F.pred
OCaml

Innovation. Community. Security.