1 implementation module builtin
6 builtin :: [([Char], Scheme)]
8 [(['_if'], Forall [['_ift']] $ TBool --> TVar ['_ift'] --> TVar ['_ift'] --> TVar ['_ift'])
9 ,(['_eq'], Forall [['_eq']] $ TInt --> TInt --> TBool)
10 ,(['_mul'], Forall [['_mul']] $ TInt --> TInt --> TInt)
11 ,(['_add'], Forall [['_add']] $ TInt --> TInt --> TInt)
12 ,(['_sub'], Forall [['_sub']] $ TInt --> TInt --> TInt)