nitc/typing: add intersect_types and diff_types
authorJean Privat <jean@pryen.org>
Thu, 2 Mar 2017 21:06:08 +0000 (16:06 -0500)
committerJean Privat <jean@pryen.org>
Fri, 10 Mar 2017 15:37:18 +0000 (10:37 -0500)
commit3a2fe27c012d625be19197a0012b45235e764870
tree9284821ccaf3197be7ccdd8bc1cec34bbeee2599
parent51e06ff0054b5e2579007b2ab5f48014f4f02dcc
nitc/typing: add intersect_types and diff_types

Signed-off-by: Jean Privat <jean@pryen.org>
src/semantize/typing.nit