package GT

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

Hash plugin.

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

(GT.H.t -> 'a -> GT.H.t * 'a) -> (GT.H.t -> 'b -> GT.H.t * 'b) -> ... -> GT.H.t -> ('a,'b,...) typ -> GT.H.t * ('a,'b,...) typ

which takes a value and hashtable (possibly on-empty) and returns hash concsed representation of the value with (maybe) update hashtable.

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