Skip to content
Snippets Groups Projects
user avatar
Erwan Jahier authored
Not yet implemented (assert false): iterators, struct

Add a UnifyClock module, and rename Unify into UnifyType.

nb : a lot of test are now broken, because
   - the clock checking is now plugged ;-)
   - iterators, struct are not yet implemented
5dd64311
History