pub type And = Operator<unsynn::::punct::And::{constant#0}, unsynn::::punct::And::{constant#1}, unsynn::::punct::And::{constant#2}, unsynn::::punct::And::{constant#3}>;
&
struct And;