ProxyBool
enum ProxyBool[_: Bool]Sourcecase ProxyType of proxies that carry type-level Boolean information where a witness is not available.
enum ProxyBool[_: Bool]Sourcecase ProxyType of proxies that carry type-level Boolean information where a witness is not available.