fn match_eth_library_call<'gcx>(
gcx: Gcx<'gcx>,
call: &Expr<'gcx>,
recv: &'gcx Expr<'gcx>,
name: &str,
args: &'gcx CallArgs<'gcx>,
) -> Option<&'gcx Expr<'gcx>>Expand description
Destination of an OpenZeppelin Address / Solady SafeTransferLib ETH helper, called either
statically (Lib.f(to, ...)) or via using ... for address (to.f(...)).