package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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
OCaml

Innovation. Community. Security.