package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
val mappings : (module S) list ref
val mem_varinfo : Cil.varinfo -> bool
val describe_varinfo : Cil.varinfo -> string
val register_mapping : (module S) -> unit