Function safe_area_padding 

pub fn safe_area_padding(view: &ViewHandle, length: f64) -> ViewHandle

.safeAreaPadding(_:) — inlines to modifier(SafeAreaPaddingModifier(edges: .all, insets: EdgeInsets(_all:))).

Unlike the two above, both of SafeAreaPaddingModifier’s pieces are exported initialisers, so the value is built by calling them rather than by writing its fields.