3.2. FunctionType sub-typing
Prev
Chapter 3. KerMeta sub-typing rules
Next
3.2. FunctionType sub-typing
ProductType sub-typing
DataType
TODO : Discuss subTyping here