Operating Table

operator	string	tuple	helper
arrayOf	“T[]”	[T, ”[]“]	arrayOf(T)
instanceOf		[“instanceOf”, T]	instanceOf(T)
&	“L&R”	[L, ”&”, R]	intersection(L,R)
keyOf		”[“keyOf”, T”]”	keyOf(T)
|>		[inputType, ”|>”, (data) => output]	morph(inputType, (data) => output)
=>		[“type”, ”=>” , condition]
|	“L|R”	[L, ”|” , R]	union(L,R)
===		[”===”, T]	valueOf(T)
:		[“type”, ”:”, config]
bound	“N<S<N”, with comparators restricted to < or <=
%	“N%D”, where “N” is a number and “D” is a non-zero integer
node		[“node”, nodeDefinition]	type.from(nodeDefinition)