Method
ipnet::IpNet::subnets
impl IpNet
pub fn subnets(self: &Self, new_prefix_len: u8) -> Result<IpSubnets, PrefixLenError>
Documentation on docs.rs
Claims (2)
Claim #114 — Verification of ipnet::IpNet::subnets (with Aeneas be86ab0f1989d04944292b345b24c435be3ad10a)ipnet::IpNet::subnets
Selected network and iterator behavior in ipnet 2.12.2 · v1 · 0 comments · keiichiw
Claim #115 — Verification of ipnet::IpNet::subnets (with Aeneas be86ab0f1989d04944292b345b24c435be3ad10a)ipnet::IpNet::subnets
Selected network and iterator behavior in ipnet 2.12.2 · v1 · 0 comments · keiichiw