4. IP Address Parsing🔗

Cedar IP-address values (ipaddr) represent an IPv4 or IPv6 network — an address together with an optional CIDR prefix. They are constructed from a string with the ip() operator, e.g. ip("192.168.1.100") or ip("1:2:3:4::/48").

1. 4.1. Grammar
2. 4.2. Formal Specification
3. 4.3. Parser
4. 4.4. Soundness and Completeness
5. 4.5. Canonical String Representation
6. 4.6. Roundtrip Theorem