Frama-C:
Plug-ins:
Libraries:

Frama-C API - Cleaning

type usage
val create : unit -> usage
val as_term : usage -> Lang.F.term -> unit
val as_atom : usage -> Lang.F.pred -> unit
val as_type : usage -> Lang.F.pred -> unit
val as_have : usage -> Lang.F.pred -> unit
val as_init : usage -> Lang.F.pred -> unit
val filter_type : usage -> Lang.F.pred -> Lang.F.pred
val filter_pred : usage -> Lang.F.pred -> Lang.F.pred