Aggregation.gf « aggregation « grammars - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/grammars/aggregation/Aggregation.gf

blob: 1166294223255adaa0e95e00354f60c06aae949f (plain)

transfer Aggregation : Abstract -> Abstract = {

  transfer S : S -> S = aggreg ;

}