ClangFrontend.CField_declUtility module to retrieve fields of structs of classes
val get_fields :
CAst_utils.qual_type_to_sil_type ->
IR.Tenv.t ->
IR.Typ.Name.t ->
ATDGenerated.Clang_ast_t.decl list ->
IR.Struct.field listval fields_superclass :
IR.Tenv.t ->
ATDGenerated.Clang_ast_t.decl_ref option ->
IR.Struct.field listval modelled_field :
ATDGenerated.Clang_ast_t.named_decl_info ->
IR.Struct.field list