hacspec_lib::prelude::poly