package GT

You can search for identifiers within the package.

in-package search v0.2.0

Generic programming with extensible transformations

Install

sha256=d23fb8e20ca28ec9ae07feee45b39aee8fb87ab11ec55211e2365f2c5a1c4ccf

sha512=0ade04e78a4d8e24acf24d3e4cdf358532d68284fa8e801b25bdf21c3c0483bb97d1350e86abcf9f93efec870b07f0f067a5dccae81686b14265baab3a4e7c13

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