lutin merge requestshttps://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin/-/merge_requests2019-07-03T14:14:11+02:00https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin/-/merge_requests/1WIP: Resolve "issue with free variables constrained in the type declaration"2019-07-03T14:14:11+02:00erwanerwan.jahier@univ-grenoble-alpes.frWIP: Resolve "issue with free variables constrained in the type declaration"Closes #2Closes #2