let
dim c =
List
.length c.vars