Select_ast (ppxlib.Ppxlib_ast.Select

Parameters

module Ocaml : sig ... end

Signature

module Ast = Astlib.Ast_500

Ast definition for this version

val version : int

val string_version : string

type types =
  < structure : Ast.Parsetree.structure
  ; signature : Ast.Parsetree.signature
  ; toplevel_phrase : Ast.Parsetree.toplevel_phrase
  ; core_type : Ast.Parsetree.core_type
  ; expression : Ast.Parsetree.expression
  ; pattern : Ast.Parsetree.pattern
  ; case : Ast.Parsetree.case
  ; type_declaration : Ast.Parsetree.type_declaration
  ; type_extension : Ast.Parsetree.type_extension
  ; extension_constructor : Ast.Parsetree.extension_constructor
  ; class_expr : Ast.Parsetree.class_expr
  ; class_field : Ast.Parsetree.class_field
  ; class_type : Ast.Parsetree.class_type
  ; class_signature : Ast.Parsetree.class_signature
  ; class_type_field : Ast.Parsetree.class_type_field
  ; module_expr : Ast.Parsetree.module_expr
  ; module_type : Ast.Parsetree.module_type
  ; signature_item : Ast.Parsetree.signature_item
  ; structure_item : Ast.Parsetree.structure_item >

Shortcut for talking about Ast types

type Ppxlib_ast__.Versions.witnesses +=

| Version : types Ppxlib_ast__.Versions.witnesses

A construtor for recovering type equalities between two arbitrary versions.

val migration_info : types Ppxlib_ast__.Versions.migration_info

Information used to derive migration functions, see below

module Type : sig ... end

module Of_ocaml : sig ... end

module To_ocaml : sig ... end

val of_ocaml : 'ocaml 'js. ('js, 'ocaml) Type.t -> 'ocaml -> 'js

val to_ocaml : 'ocaml 'js. ('js, 'ocaml) Type.t -> 'js -> 'ocaml

val of_ocaml_mapper : ('a, 'b) Type.t -> ('c -> 'd -> 'e) -> 'f -> 'g -> 'h

val to_ocaml_mapper : ('a, 'b) Type.t -> ('c -> 'd -> 'e) -> 'f -> 'g -> 'h