package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
method virtual sanitize : string -> string
method sanitize_type : string -> string

Defaults to self#sanitize

method sanitize_field : string -> string

Defulats to self#sanitize

method sanitize_fun : string -> string

Defulats to self#sanitize

method datatype : ADT.t -> string
method field : Field.t -> string