Frama-C API - `Ty_tbl`

Heterogeneous tables indexed by type value. Roughly the same signature that Hashtbl.S.

Parameters

module Info : sig ... end

type t

val create : int -> t

val add : t -> 'b ty -> 'b Info.t -> unit

val find : t -> 'b ty -> 'b Info.t