def none

import bend-kit-dns@0.7.0.0/dns.bend as Dns

import Base

369def none() -> IO(Maybe<&2, String>):
370  IO.pure(Maybe<&2, String>, None{})

Uses (4)