Frama-C API - Eva_ast_datatype
module Lhost : Frama_c_kernel.Datatype.S_with_collections with type t = Eva_ast_types.lhostmodule Offset : Frama_c_kernel.Datatype.S_with_collections with type t = Eva_ast_types.offsetmodule Lval : Frama_c_kernel.Datatype.S_with_collections with type t = Eva_ast_types.lvalmodule Exp : Frama_c_kernel.Datatype.S_with_collections with type t = Eva_ast_types.expmodule Constant : Frama_c_kernel.Datatype.S_with_collections with type t = Eva_ast_types.constant