ClangFrontend.CField_decl
Utility module to retrieve fields of structs of classes
type field_type = IR.Fieldname.t * IR.Typ.t * IR.Annot.Item.t
val get_fields :
implements_remodel_class:bool ->
CAst_utils.qual_type_to_sil_type ->
IR.Tenv.t ->
IR.Typ.Name.t ->
ATDGenerated.Clang_ast_t.decl list ->
field_type list
val fields_superclass :
IR.Tenv.t ->
ATDGenerated.Clang_ast_t.decl_ref option ->
field_type list
val modelled_field :
ATDGenerated.Clang_ast_t.named_decl_info ->
field_type list