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

type t

val fun_ : loc:loc -> Pat.t -> t -> t

val fun_list : loc:loc -> Pat.t list -> t -> t

val constr : loc:loc -> Longident.t -> Typ.t list -> t

val apply : loc:loc -> t -> Exp.t list -> t