package GT
Generic programming with extensible transformations
Install
Dune Dependency
Authors
Maintainers
Sources
0.5.1.tar.gz
sha256=fe0aa1e40afd36f7c1fcd992c408261d0b5645cea080ea98bc5dbf0b8682187f
sha512=8db0f2d8db4d7c11cf55835ba2b6c4f5ee1e8c09a4bdc2a9c57d50958ff8654688d4c8596079dfd1027d8b9e878f6e1b0d14341bcdf5f63cf96a45b2a571f3cb
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.