Type Definition flag_algebra::flags::G

type G = Model<SymNonRefl<bool>>;