Language.Symantic.Lib.Function

Class Sym_Function

class Sym_Function term

Types

tyFun

a0

b1

c2

Terms

teFunction_compose

teFunction_const

teFunction_flip

teFunction_id