package GT

You can search for identifiers within the package.

in-package search v0.2.0

Generic programming with extensible transformations

Install

sha256=15924a175fcaaa57286853e8129159a0ce207f31b33f83d7f8aa436da1e17519

sha512=03d32a6b745b2ae04f4cd434b13c614acd66dfa7cb90c748c951b92bf517a9de7cc870f49bf31d94112f4b6efc019b1258d47b0177adfb664b1f22ff2375ae91

Gmap plugin (functor).

For type declaration type ('a,'b,...) typ = ... it will create a transformation function with type

('a -> 'a2) -> ('b -> 'b2) -> ... -> ('a,'b,...) typ -> ('a2,'b2,...) typ

Inherited attributes' type (both default and for type parameters) is unit.

val trait_name : string

val param_name_mangler : string -> string

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

val register : unit -> unit