Primitive functions
Documentation
primFunc2 :: (Typeable a, Typeable b, PrimFunc :<: dom) => String -> (a -> b -> c) -> ASTF dom a -> ASTF dom b -> ASTF dom cSource
Primitive functions
primFunc2 :: (Typeable a, Typeable b, PrimFunc :<: dom) => String -> (a -> b -> c) -> ASTF dom a -> ASTF dom b -> ASTF dom cSource