Module Ppxlib_ast.Select_ast

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 +=
  1. | 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 -> 'b -> 'b) -> 'c -> 'a -> 'a
val to_ocaml_mapper : ('a, 'b) Type.t -> ('c -> 'a -> 'a) -> 'c -> 'b -> 'b