atlanmod/coqtl

Split Metamodel typeclass into two instances of Sum

Closed this issue · 0 comments

massimotisi commented
Split Metamodel typeclass into two instances of Sum