search

atlanmod / coqtl

CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
Other
13 stars 12 forks source link

denoteModelClass ColumnClass != Column #77

Closed massimotisi closed 2 years ago

massimotisi commented 4 years ago

The term "cols" has type "list (denoteModelClass ColumnClass)" while it is expected to have type "list Column".