visitors 20210608 · OCaml Package

val mknoloc : 'a -> 'a Ocaml_common.Location.loc

type variable = string

type datacon = string

type label = string

type classe = string

type methode = string

type tyvar = string

type variables = variable list

type tyvars = tyvar list

type core_types = Ppxlib.Parsetree.core_type list

type patterns = Ppxlib.Parsetree.pattern list

type expressions = Ppxlib.Parsetree.expression list

val pervasive : string -> Ppxlib.Longident.t

val improbable : string -> string

val ty_var : tyvar -> Ppxlib.Parsetree.core_type

val ty_vars : tyvars -> core_types

val ty_any : Astlib.Ast_500.Parsetree.core_type

val ty_unit : Ppxlib.core_type

val ty_arrows : 
  core_types ->
  Ppxlib.Parsetree.core_type ->
  Ppxlib.Parsetree.core_type

val decl_type : Ppxlib.Parsetree.type_declaration -> Ppxlib.Parsetree.core_type

val unit : unit -> Ppxlib.expression

val tuple : Ppxlib.expression list -> Ppxlib.expression

val record : (string * Ppxlib.expression) list -> Ppxlib.expression

val number : int -> string -> string

val eident : Ppxlib.Longident.t -> Ppxlib.Parsetree.expression

val pvars : variables -> patterns

val evars : variables -> expressions

val pvarss : variables list -> patterns list

val evarss : variables list -> expressions list

val wildcards : 'a list -> Astlib.Ast_500.Parsetree.pattern list

val lambda : 
  variable ->
  Ppxlib.Parsetree.expression ->
  Ppxlib.Parsetree.expression

val plambdas : 
  patterns ->
  Ppxlib.Parsetree.expression ->
  Ppxlib.Parsetree.expression

val lambdas : 
  variables ->
  Ppxlib.Parsetree.expression ->
  Ppxlib.Parsetree.expression

val app : 
  Ppxlib.Parsetree.expression ->
  expressions ->
  Ppxlib.Parsetree.expression

val sequence : expressions -> Ppxlib.Parsetree.expression

val vblet1 : 
  Ppxlib.Parsetree.value_binding ->
  Ppxlib.Parsetree.expression ->
  Ppxlib.Parsetree.expression

val let1 : 
  variable ->
  Ppxlib.Parsetree.expression ->
  Ppxlib.Parsetree.expression ->
  Ppxlib.Parsetree.expression

val let1p : 
  (variable * variable) ->
  Ppxlib.Parsetree.expression ->
  Ppxlib.Parsetree.expression ->
  Ppxlib.Parsetree.expression

val vbletn : 
  Ppxlib.Parsetree.value_binding list ->
  Ppxlib.Parsetree.expression ->
  Ppxlib.Parsetree.expression

val letn : 
  variables ->
  expressions ->
  Ppxlib.Parsetree.expression ->
  Ppxlib.Parsetree.expression

val letnp : 
  variables ->
  variables ->
  expressions ->
  Ppxlib.Parsetree.expression ->
  Ppxlib.Parsetree.expression

val access : variable -> label -> Ppxlib.Parsetree.expression

val accesses : variables -> label list -> expressions list

val ptuple : patterns -> Ppxlib.Parsetree.pattern

val ptuples : patterns list -> patterns

val efalse : Ppxlib.Parsetree.expression

val etrue : Ppxlib.Parsetree.expression

val conjunction : expressions -> Ppxlib.Parsetree.expression

val eassertfalse : Ppxlib.Parsetree.expression

val eforce : Ppxlib.Parsetree.expression -> Ppxlib.Parsetree.expression

val eqphy : 
  Ppxlib.Parsetree.expression ->
  Ppxlib.Parsetree.expression ->
  Ppxlib.Parsetree.expression

val eqphys : expressions -> expressions -> Ppxlib.Parsetree.expression

val efail : string -> Ppxlib.Parsetree.expression

val include_ : Ppxlib.Parsetree.module_expr -> Ppxlib.Parsetree.structure_item

val with_warnings : 
  string ->
  Ppxlib.Parsetree.structure_item list ->
  Ppxlib.Parsetree.structure_item

val class1 : 
  bool ->
  (Ppxlib.Parsetree.core_type
   * (Ppxlib.Asttypes.variance * Ppxlib.Asttypes.injectivity))
    list ->
  classe ->
  Ppxlib.Parsetree.pattern ->
  Ppxlib.Parsetree.class_field list ->
  Ppxlib.Parsetree.structure_item

val inherit_ : Ppxlib.Longident.t -> core_types -> Ppxlib.Parsetree.class_field

type meth =

| Meth of Ppxlib.Asttypes.private_flag * methode * Ppxlib.Parsetree.expression option * Ppxlib.Parsetree.core_type option

val concrete_method : 
  Ppxlib.Asttypes.private_flag ->
  methode ->
  Ppxlib.Parsetree.expression ->
  Ppxlib.Parsetree.core_type option ->
  meth

val virtual_method : 
  Ppxlib.Asttypes.private_flag ->
  methode ->
  Ppxlib.Parsetree.core_type option ->
  meth

val oe2cfk : 
  Ppxlib.Parsetree.expression option ->
  Ppxlib.Parsetree.core_type option ->
  Ppxlib.Parsetree.class_field_kind

val meth2cf : meth -> Ppxlib.Parsetree.class_field

val method_name : meth -> string

val is_virtual : meth -> bool

val send : variable -> methode -> expressions -> Ppxlib.Parsetree.expression

type hoisted =

| Hoisted of string * Ppxlib.Parsetree.expression

val hoisted2cf : hoisted -> Ppxlib.Parsetree.class_field list

module ClassFieldStore () : sig ... end

module WarningStore () : sig ... end

package visitors