-- Compiling
instance Gram_Term_AtomsFor src ss g (->)
instance (Source src, Inj_Sym ss (->)) => ModuleFor src ss (->) where
- moduleFor _s = ["Function"] `moduleWhere`
+ moduleFor = ["Function"] `moduleWhere`
[ "const" := teFunction_const
, "flip" := teFunction_flip
, "id" := teFunction_id