From: Hannu Niemistö Date: Wed, 1 Nov 2017 07:11:18 +0000 (+0200) Subject: (refs #7588) Support for existential type variables with syntax ?v X-Git-Tag: v1.31.0~72 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;ds=sidebyside;h=4c2fb8fefbdec1856e160dc24b6498aa4bd5eb48;hp=4c2fb8fefbdec1856e160dc24b6498aa4bd5eb48;p=simantics%2Fplatform.git (refs #7588) Support for existential type variables with syntax ?v Change-Id: I418a9d260c02c7082e7a7359b90659ea2c3a96d4 ---