package GT

You can search for identifiers within the package.

in-package search v0.2.0

Generic programming with extensible transformations

Install

sha256=3f26c69a215066b42c6edde2ea4cd4516bdc9a01482b64355d3adf87ed85e179

sha512=7a5236618124f370aa373483255bd3efeb5c251005efa7d43aadb6be968df310b5f312b8066245544cfdf9972a7944f0ff2448bd09cb8a8e0bb5f8b1f9b5340b

Sourcetype elt = AstHelpers.Exp.t

Sourceval wrap : loc:AstHelpers.loc -> string -> AstHelpers.Exp.t

Sourceval pcdata : loc:AstHelpers.loc -> string -> AstHelpers.Exp.t

Sourceval div : loc:AstHelpers.loc -> AstHelpers.Exp.t list -> AstHelpers.Exp.t

val to_list_e : 
  loc:AstHelpers.loc ->
  AstHelpers.Exp.t GTCommon.HelpersBase.List.t ->
  AstHelpers.Exp.t

val li : 
  loc:AstHelpers.loc ->
  AstHelpers.Exp.t GTCommon.HelpersBase.List.t ->
  AstHelpers.Exp.t

val seq : 
  loc:AstHelpers.loc ->
  AstHelpers.Exp.t GTCommon.HelpersBase.List.t ->
  AstHelpers.Exp.t

val ul : 
  loc:AstHelpers.loc ->
  AstHelpers.Exp.t GTCommon.HelpersBase.List.t ->
  AstHelpers.Exp.t

Sourceval checkbox : loc:AstHelpers.loc -> string -> AstHelpers.Exp.t