Up – Package index » GT » Library compare » Compare

Module `Compare`

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.

val trait_name : string

module Make (AstHelpers : GTCommon.GTHELPERS_sig.S) : sig ... end

val register : unit -> unit