package cil
-
cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val can_call : t -> Cil.fundec -> Cil.fundec listval can_be_called_by : t -> Cil.fundec -> Cil.fundec listval fundec_of_varinfo : t -> Cil.varinfo -> Cil.fundec