package GT

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Stateful plugin: functors + inherited value to make decisions about how to map values.

Essentially, is a Gmap trait with polymorphic inherited attributes.

Is a simplified version of Stateful trait: doesn't allow to pass modified environment through transformation.

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

Synthetized attributes' type (both default and for type parameters) is _ t.

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

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

val trait_name : string
val param_name_mangler : string -> string
module Make (AstHelpers : GTCommon.GTHELPERS_sig.S) : sig ... end
val register : unit -> unit
OCaml

Innovation. Community. Security.