package GT
Generic programming with extensible transformations
Install
Dune Dependency
Authors
Maintainers
Sources
0.5.2.tar.gz
md5=9d18b96ada4d18fdda0b5f5698273145
sha512=945070bea4322bf8f7932a259af91432a3c109a05294ba2a27c1c2e9d2796ffb4cc32f6b8e28ff465311277696296ddda531a2ce818e590c09c64c5721d65e19
doc/compare/Compare/index.html
Module CompareSource
Compare plugin: receive another value as inherited attribute and compare.
For type declaration type ('a,'b,...) typ = ... it will create a transformation function with type
('a -> 'a -> GT.comparison) -> ('b -> 'b -> GT.comparison) -> ... -> ('a,'b,...) typ -> GT.comparison
Inherited attribute' is the same as argument, synthetized attribute is GT.comparison.