Defined in File rlenvs_types_v2.h
Dynamically sized row vector.
Typedef rlenvscpp::DynMat
Typedef rlenvscpp::envs::grid_world::detail::board_mask