Module One_hot_vector.Constant