let dim c = List.length c.vars