pub fn fancy_update_ty() -> Expr
FancyUpdate: fancy update modality |={E1,E2}=> P. Type: NamespaceMask → NamespaceMask → IrisProp → IrisProp