type t = Ban_t.t