+++ /dev/null
-%{
-#include "hspincl.h"
-%}
-%{{
-module U_ttype where
-import UgenUtil
-import Util
-
-import U_list
-%}}
-type ttype;
- tname : < gtypeid : unkId;
- gtypel : list; >;
- namedtvar : < gnamedtvar : unkId; >;
- tllist : < gtlist : ttype; >;
- ttuple : < gttuple : list; >;
- tfun : < gtfun : ttype;
- gtarg : ttype; >;
- context : < gtcontextl : list;
- gtcontextt : ttype; >;
-
- unidict : < gunidict_clas : unkId;
- gunidict_ty : ttype; >;
- unityvartemplate: <gunityvartemplate : unkId; >;
- uniforall : < guniforall_tv : list;
- guniforall_ty : ttype; >;
-
- ty_maybe_nothing : < >;
- ty_maybe_just : < gty_maybe : ttype; >;
-end;
-