package GT
Generic programming with extensible transformations
Install
Dune Dependency
Authors
Maintainers
Sources
0.5.0.tar.gz
sha256=3f26c69a215066b42c6edde2ea4cd4516bdc9a01482b64355d3adf87ed85e179
sha512=7a5236618124f370aa373483255bd3efeb5c251005efa7d43aadb6be968df310b5f312b8066245544cfdf9972a7944f0ff2448bd09cb8a8e0bb5f8b1f9b5340b
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.