documentation:latest:tropical:covectorlattice