package ortac-core

You can search for identifiers within the package.

in-package search v0.2.0

ortac-core
- Ortac_core
  - Builder
    
    Latest
    
    Located
  - Context
  - Ocaml_of_gospel
  - Utils
  - Warnings
ortac-core.register
- Registration

Legend:
Library
Module
Module type
Parameter
Class
Class type

include Ppxlib.Ast_builder.S

module Located : sig ... end

val loc : Ppxlib__.Location.t

val attribute : 
  name:string Ppxlib__.Import.loc ->
  payload:Ppxlib__.Import.payload ->
  Ppxlib__.Import.attribute

val binding_op : 
  op:string Ppxlib__.Import.loc ->
  pat:Ppxlib__.Import.pattern ->
  exp:Ppxlib__.Import.expression ->
  Ppxlib__.Import.binding_op

val case : 
  lhs:Ppxlib__.Import.pattern ->
  guard:Ppxlib__.Import.expression option ->
  rhs:Ppxlib__.Import.expression ->
  Ppxlib__.Import.case

val pcl_constr : 
  Ppxlib__.Import.longident_loc ->
  Ppxlib__.Import.core_type list ->
  Ppxlib__.Import.class_expr

val pcl_structure : 
  Ppxlib__.Import.class_structure ->
  Ppxlib__.Import.class_expr

val pcl_fun : 
  Ppxlib__.Import.arg_label ->
  Ppxlib__.Import.expression option ->
  Ppxlib__.Import.pattern ->
  Ppxlib__.Import.class_expr ->
  Ppxlib__.Import.class_expr

val pcl_apply : 
  Ppxlib__.Import.class_expr ->
  (Ppxlib__.Import.arg_label * Ppxlib__.Import.expression) list ->
  Ppxlib__.Import.class_expr

val pcl_let : 
  Ppxlib__.Import.rec_flag ->
  Ppxlib__.Import.value_binding list ->
  Ppxlib__.Import.class_expr ->
  Ppxlib__.Import.class_expr

val pcl_constraint : 
  Ppxlib__.Import.class_expr ->
  Ppxlib__.Import.class_type ->
  Ppxlib__.Import.class_expr

val pcl_extension : Ppxlib__.Import.extension -> Ppxlib__.Import.class_expr

val pcl_open : 
  Ppxlib__.Import.open_description ->
  Ppxlib__.Import.class_expr ->
  Ppxlib__.Import.class_expr

val pcf_inherit : 
  Ppxlib__.Import.override_flag ->
  Ppxlib__.Import.class_expr ->
  string Ppxlib__.Import.loc option ->
  Ppxlib__.Import.class_field

val pcf_val : 
  (Ppxlib__.Import.label Ppxlib__.Import.loc
   * Ppxlib__.Import.mutable_flag
   * Ppxlib__.Import.class_field_kind) ->
  Ppxlib__.Import.class_field

val pcf_method : 
  (Ppxlib__.Import.label Ppxlib__.Import.loc
   * Ppxlib__.Import.private_flag
   * Ppxlib__.Import.class_field_kind) ->
  Ppxlib__.Import.class_field

val pcf_constraint : 
  (Ppxlib__.Import.core_type * Ppxlib__.Import.core_type) ->
  Ppxlib__.Import.class_field

val pcf_initializer : Ppxlib__.Import.expression -> Ppxlib__.Import.class_field

val pcf_attribute : Ppxlib__.Import.attribute -> Ppxlib__.Import.class_field

val pcf_extension : Ppxlib__.Import.extension -> Ppxlib__.Import.class_field

val class_infos : 
  virt:Ppxlib__.Import.virtual_flag ->
  params:
    (Ppxlib__.Import.core_type
     * (Ppxlib__.Import.variance * Ppxlib__.Import.injectivity))
      list ->
  name:string Ppxlib__.Import.loc ->
  expr:'a ->
  'a Ppxlib__.Import.class_infos

val class_signature : 
  self:Ppxlib__.Import.core_type ->
  fields:Ppxlib__.Import.class_type_field list ->
  Ppxlib__.Import.class_signature

val class_structure : 
  self:Ppxlib__.Import.pattern ->
  fields:Ppxlib__.Import.class_field list ->
  Ppxlib__.Import.class_structure

val pcty_constr : 
  Ppxlib__.Import.longident_loc ->
  Ppxlib__.Import.core_type list ->
  Ppxlib__.Import.class_type

val pcty_signature : 
  Ppxlib__.Import.class_signature ->
  Ppxlib__.Import.class_type

val pcty_arrow : 
  Ppxlib__.Import.arg_label ->
  Ppxlib__.Import.core_type ->
  Ppxlib__.Import.class_type ->
  Ppxlib__.Import.class_type

val pcty_extension : Ppxlib__.Import.extension -> Ppxlib__.Import.class_type

val pcty_open : 
  Ppxlib__.Import.open_description ->
  Ppxlib__.Import.class_type ->
  Ppxlib__.Import.class_type

val pctf_inherit : 
  Ppxlib__.Import.class_type ->
  Ppxlib__.Import.class_type_field

val pctf_val : 
  (Ppxlib__.Import.label Ppxlib__.Import.loc
   * Ppxlib__.Import.mutable_flag
   * Ppxlib__.Import.virtual_flag
   * Ppxlib__.Import.core_type) ->
  Ppxlib__.Import.class_type_field

val pctf_method : 
  (Ppxlib__.Import.label Ppxlib__.Import.loc
   * Ppxlib__.Import.private_flag
   * Ppxlib__.Import.virtual_flag
   * Ppxlib__.Import.core_type) ->
  Ppxlib__.Import.class_type_field

val pctf_constraint : 
  (Ppxlib__.Import.core_type * Ppxlib__.Import.core_type) ->
  Ppxlib__.Import.class_type_field

val pctf_attribute : 
  Ppxlib__.Import.attribute ->
  Ppxlib__.Import.class_type_field

val pctf_extension : 
  Ppxlib__.Import.extension ->
  Ppxlib__.Import.class_type_field

val ptyp_any : Ppxlib__.Import.core_type

val ptyp_var : string -> Ppxlib__.Import.core_type

val ptyp_arrow : 
  Ppxlib__.Import.arg_label ->
  Ppxlib__.Import.core_type ->
  Ppxlib__.Import.core_type ->
  Ppxlib__.Import.core_type

val ptyp_tuple : Ppxlib__.Import.core_type list -> Ppxlib__.Import.core_type

val ptyp_constr : 
  Ppxlib__.Import.longident_loc ->
  Ppxlib__.Import.core_type list ->
  Ppxlib__.Import.core_type

val ptyp_object : 
  Ppxlib__.Import.object_field list ->
  Ppxlib__.Import.closed_flag ->
  Ppxlib__.Import.core_type

val ptyp_class : 
  Ppxlib__.Import.longident_loc ->
  Ppxlib__.Import.core_type list ->
  Ppxlib__.Import.core_type

val ptyp_alias : 
  Ppxlib__.Import.core_type ->
  string ->
  Ppxlib__.Import.core_type

val ptyp_variant : 
  Ppxlib__.Import.row_field list ->
  Ppxlib__.Import.closed_flag ->
  Ppxlib__.Import.label list option ->
  Ppxlib__.Import.core_type

val ptyp_poly : 
  string Ppxlib__.Import.loc list ->
  Ppxlib__.Import.core_type ->
  Ppxlib__.Import.core_type

val ptyp_package : Ppxlib__.Import.package_type -> Ppxlib__.Import.core_type

val ptyp_extension : Ppxlib__.Import.extension -> Ppxlib__.Import.core_type

val pdir_string : string -> Ppxlib__.Import.directive_argument

val pdir_int : string -> char option -> Ppxlib__.Import.directive_argument

val pdir_ident : 
  Ppxlib__.Import.longident ->
  Ppxlib__.Import.directive_argument

val pdir_bool : bool -> Ppxlib__.Import.directive_argument

val pexp_ident : Ppxlib__.Import.longident_loc -> Ppxlib__.Import.expression

val pexp_constant : Ppxlib__.Import.constant -> Ppxlib__.Import.expression

val pexp_let : 
  Ppxlib__.Import.rec_flag ->
  Ppxlib__.Import.value_binding list ->
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression

val pexp_function : Ppxlib__.Import.cases -> Ppxlib__.Import.expression

val pexp_fun : 
  Ppxlib__.Import.arg_label ->
  Ppxlib__.Import.expression option ->
  Ppxlib__.Import.pattern ->
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression

val pexp_apply : 
  Ppxlib__.Import.expression ->
  (Ppxlib__.Import.arg_label * Ppxlib__.Import.expression) list ->
  Ppxlib__.Import.expression

val pexp_match : 
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.cases ->
  Ppxlib__.Import.expression

val pexp_try : 
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.cases ->
  Ppxlib__.Import.expression

val pexp_tuple : Ppxlib__.Import.expression list -> Ppxlib__.Import.expression

val pexp_construct : 
  Ppxlib__.Import.longident_loc ->
  Ppxlib__.Import.expression option ->
  Ppxlib__.Import.expression

val pexp_variant : 
  Ppxlib__.Import.label ->
  Ppxlib__.Import.expression option ->
  Ppxlib__.Import.expression

val pexp_record : 
  (Ppxlib__.Import.longident_loc * Ppxlib__.Import.expression) list ->
  Ppxlib__.Import.expression option ->
  Ppxlib__.Import.expression

val pexp_field : 
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.longident_loc ->
  Ppxlib__.Import.expression

val pexp_setfield : 
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.longident_loc ->
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression

val pexp_array : Ppxlib__.Import.expression list -> Ppxlib__.Import.expression

val pexp_ifthenelse : 
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression option ->
  Ppxlib__.Import.expression

val pexp_sequence : 
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression

val pexp_while : 
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression

val pexp_for : 
  Ppxlib__.Import.pattern ->
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.direction_flag ->
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression

val pexp_constraint : 
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.core_type ->
  Ppxlib__.Import.expression

val pexp_coerce : 
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.core_type option ->
  Ppxlib__.Import.core_type ->
  Ppxlib__.Import.expression

val pexp_send : 
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.label Ppxlib__.Import.loc ->
  Ppxlib__.Import.expression

val pexp_new : Ppxlib__.Import.longident_loc -> Ppxlib__.Import.expression

val pexp_setinstvar : 
  Ppxlib__.Import.label Ppxlib__.Import.loc ->
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression

val pexp_override : 
  (Ppxlib__.Import.label Ppxlib__.Import.loc * Ppxlib__.Import.expression) list ->
  Ppxlib__.Import.expression

val pexp_letmodule : 
  string option Ppxlib__.Import.loc ->
  Ppxlib__.Import.module_expr ->
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression

val pexp_letexception : 
  Ppxlib__.Import.extension_constructor ->
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression

val pexp_assert : Ppxlib__.Import.expression -> Ppxlib__.Import.expression

val pexp_lazy : Ppxlib__.Import.expression -> Ppxlib__.Import.expression

val pexp_poly : 
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.core_type option ->
  Ppxlib__.Import.expression

val pexp_object : Ppxlib__.Import.class_structure -> Ppxlib__.Import.expression

val pexp_newtype : 
  string Ppxlib__.Import.loc ->
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression

val pexp_pack : Ppxlib__.Import.module_expr -> Ppxlib__.Import.expression

val pexp_open : 
  Ppxlib__.Import.open_declaration ->
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression

val pexp_letop : Ppxlib__.Import.letop -> Ppxlib__.Import.expression

val pexp_extension : Ppxlib__.Import.extension -> Ppxlib__.Import.expression

val pexp_unreachable : Ppxlib__.Import.expression

val extension_constructor : 
  name:string Ppxlib__.Import.loc ->
  kind:Ppxlib__.Import.extension_constructor_kind ->
  Ppxlib__.Import.extension_constructor

val include_infos : 'a -> 'a Ppxlib__.Import.include_infos

val label_declaration : 
  name:string Ppxlib__.Import.loc ->
  mutable_:Ppxlib__.Import.mutable_flag ->
  type_:Ppxlib__.Import.core_type ->
  Ppxlib__.Import.label_declaration

val letop : 
  let_:Ppxlib__.Import.binding_op ->
  ands:Ppxlib__.Import.binding_op list ->
  body:Ppxlib__.Import.expression ->
  Ppxlib__.Import.letop

val location : 
  start:Ppxlib__.Import.position ->
  end_:Ppxlib__.Import.position ->
  ghost:bool ->
  Ppxlib__.Import.location

val module_binding : 
  name:string option Ppxlib__.Import.loc ->
  expr:Ppxlib__.Import.module_expr ->
  Ppxlib__.Import.module_binding

val module_declaration : 
  name:string option Ppxlib__.Import.loc ->
  type_:Ppxlib__.Import.module_type ->
  Ppxlib__.Import.module_declaration

val pmod_ident : Ppxlib__.Import.longident_loc -> Ppxlib__.Import.module_expr

val pmod_structure : Ppxlib__.Import.structure -> Ppxlib__.Import.module_expr

val pmod_functor : 
  Ppxlib__.Import.functor_parameter ->
  Ppxlib__.Import.module_expr ->
  Ppxlib__.Import.module_expr

val pmod_apply : 
  Ppxlib__.Import.module_expr ->
  Ppxlib__.Import.module_expr ->
  Ppxlib__.Import.module_expr

val pmod_constraint : 
  Ppxlib__.Import.module_expr ->
  Ppxlib__.Import.module_type ->
  Ppxlib__.Import.module_expr

val pmod_unpack : Ppxlib__.Import.expression -> Ppxlib__.Import.module_expr

val pmod_extension : Ppxlib__.Import.extension -> Ppxlib__.Import.module_expr

val module_substitution : 
  name:string Ppxlib__.Import.loc ->
  manifest:Ppxlib__.Import.longident_loc ->
  Ppxlib__.Import.module_substitution

val pmty_ident : Ppxlib__.Import.longident_loc -> Ppxlib__.Import.module_type

val pmty_signature : Ppxlib__.Import.signature -> Ppxlib__.Import.module_type

val pmty_functor : 
  Ppxlib__.Import.functor_parameter ->
  Ppxlib__.Import.module_type ->
  Ppxlib__.Import.module_type

val pmty_with : 
  Ppxlib__.Import.module_type ->
  Ppxlib__.Import.with_constraint list ->
  Ppxlib__.Import.module_type

val pmty_typeof : Ppxlib__.Import.module_expr -> Ppxlib__.Import.module_type

val pmty_extension : Ppxlib__.Import.extension -> Ppxlib__.Import.module_type

val pmty_alias : Ppxlib__.Import.longident_loc -> Ppxlib__.Import.module_type

val module_type_declaration : 
  name:string Ppxlib__.Import.loc ->
  type_:Ppxlib__.Import.module_type option ->
  Ppxlib__.Import.module_type_declaration

val otag : 
  Ppxlib__.Import.label Ppxlib__.Import.loc ->
  Ppxlib__.Import.core_type ->
  Ppxlib__.Import.object_field

val oinherit : Ppxlib__.Import.core_type -> Ppxlib__.Import.object_field

val open_infos : 
  expr:'a ->
  override:Ppxlib__.Import.override_flag ->
  'a Ppxlib__.Import.open_infos

val ppat_any : Ppxlib__.Import.pattern

val ppat_var : string Ppxlib__.Import.loc -> Ppxlib__.Import.pattern

val ppat_alias : 
  Ppxlib__.Import.pattern ->
  string Ppxlib__.Import.loc ->
  Ppxlib__.Import.pattern

val ppat_constant : Ppxlib__.Import.constant -> Ppxlib__.Import.pattern

val ppat_interval : 
  Ppxlib__.Import.constant ->
  Ppxlib__.Import.constant ->
  Ppxlib__.Import.pattern

val ppat_tuple : Ppxlib__.Import.pattern list -> Ppxlib__.Import.pattern

val ppat_variant : 
  Ppxlib__.Import.label ->
  Ppxlib__.Import.pattern option ->
  Ppxlib__.Import.pattern

val ppat_record : 
  (Ppxlib__.Import.longident_loc * Ppxlib__.Import.pattern) list ->
  Ppxlib__.Import.closed_flag ->
  Ppxlib__.Import.pattern

val ppat_array : Ppxlib__.Import.pattern list -> Ppxlib__.Import.pattern

val ppat_or : 
  Ppxlib__.Import.pattern ->
  Ppxlib__.Import.pattern ->
  Ppxlib__.Import.pattern

val ppat_constraint : 
  Ppxlib__.Import.pattern ->
  Ppxlib__.Import.core_type ->
  Ppxlib__.Import.pattern

val ppat_type : Ppxlib__.Import.longident_loc -> Ppxlib__.Import.pattern

val ppat_lazy : Ppxlib__.Import.pattern -> Ppxlib__.Import.pattern

val ppat_unpack : string option Ppxlib__.Import.loc -> Ppxlib__.Import.pattern

val ppat_exception : Ppxlib__.Import.pattern -> Ppxlib__.Import.pattern

val ppat_extension : Ppxlib__.Import.extension -> Ppxlib__.Import.pattern

val ppat_open : 
  Ppxlib__.Import.longident_loc ->
  Ppxlib__.Import.pattern ->
  Ppxlib__.Import.pattern

val position : 
  fname:string ->
  lnum:int ->
  bol:int ->
  cnum:int ->
  Ppxlib__.Import.position

val rtag : 
  Ppxlib__.Import.label Ppxlib__.Import.loc ->
  bool ->
  Ppxlib__.Import.core_type list ->
  Ppxlib__.Import.row_field

val rinherit : Ppxlib__.Import.core_type -> Ppxlib__.Import.row_field

val psig_value : 
  Ppxlib__.Import.value_description ->
  Ppxlib__.Import.signature_item

val psig_type : 
  Ppxlib__.Import.rec_flag ->
  Ppxlib__.Import.type_declaration list ->
  Ppxlib__.Import.signature_item

val psig_typesubst : 
  Ppxlib__.Import.type_declaration list ->
  Ppxlib__.Import.signature_item

val psig_typext : 
  Ppxlib__.Import.type_extension ->
  Ppxlib__.Import.signature_item

val psig_exception : 
  Ppxlib__.Import.type_exception ->
  Ppxlib__.Import.signature_item

val psig_module : 
  Ppxlib__.Import.module_declaration ->
  Ppxlib__.Import.signature_item

val psig_modsubst : 
  Ppxlib__.Import.module_substitution ->
  Ppxlib__.Import.signature_item

val psig_recmodule : 
  Ppxlib__.Import.module_declaration list ->
  Ppxlib__.Import.signature_item

val psig_modtype : 
  Ppxlib__.Import.module_type_declaration ->
  Ppxlib__.Import.signature_item

val psig_modtypesubst : 
  Ppxlib__.Import.module_type_declaration ->
  Ppxlib__.Import.signature_item

val psig_open : 
  Ppxlib__.Import.open_description ->
  Ppxlib__.Import.signature_item

val psig_include : 
  Ppxlib__.Import.include_description ->
  Ppxlib__.Import.signature_item

val psig_class : 
  Ppxlib__.Import.class_description list ->
  Ppxlib__.Import.signature_item

val psig_class_type : 
  Ppxlib__.Import.class_type_declaration list ->
  Ppxlib__.Import.signature_item

val psig_attribute : 
  Ppxlib__.Import.attribute ->
  Ppxlib__.Import.signature_item

val psig_extension : 
  Ppxlib__.Import.extension ->
  Ppxlib__.Import.attributes ->
  Ppxlib__.Import.signature_item

val pstr_eval : 
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.attributes ->
  Ppxlib__.Import.structure_item

val pstr_value : 
  Ppxlib__.Import.rec_flag ->
  Ppxlib__.Import.value_binding list ->
  Ppxlib__.Import.structure_item

val pstr_primitive : 
  Ppxlib__.Import.value_description ->
  Ppxlib__.Import.structure_item

val pstr_type : 
  Ppxlib__.Import.rec_flag ->
  Ppxlib__.Import.type_declaration list ->
  Ppxlib__.Import.structure_item

val pstr_typext : 
  Ppxlib__.Import.type_extension ->
  Ppxlib__.Import.structure_item

val pstr_exception : 
  Ppxlib__.Import.type_exception ->
  Ppxlib__.Import.structure_item

val pstr_module : 
  Ppxlib__.Import.module_binding ->
  Ppxlib__.Import.structure_item

val pstr_recmodule : 
  Ppxlib__.Import.module_binding list ->
  Ppxlib__.Import.structure_item

val pstr_modtype : 
  Ppxlib__.Import.module_type_declaration ->
  Ppxlib__.Import.structure_item

val pstr_open : 
  Ppxlib__.Import.open_declaration ->
  Ppxlib__.Import.structure_item

val pstr_class : 
  Ppxlib__.Import.class_declaration list ->
  Ppxlib__.Import.structure_item

val pstr_class_type : 
  Ppxlib__.Import.class_type_declaration list ->
  Ppxlib__.Import.structure_item

val pstr_include : 
  Ppxlib__.Import.include_declaration ->
  Ppxlib__.Import.structure_item

val pstr_attribute : 
  Ppxlib__.Import.attribute ->
  Ppxlib__.Import.structure_item

val pstr_extension : 
  Ppxlib__.Import.extension ->
  Ppxlib__.Import.attributes ->
  Ppxlib__.Import.structure_item

val toplevel_directive : 
  name:string Ppxlib__.Import.loc ->
  arg:Ppxlib__.Import.directive_argument option ->
  Ppxlib__.Import.toplevel_directive

val type_declaration : 
  name:string Ppxlib__.Import.loc ->
  params:
    (Ppxlib__.Import.core_type
     * (Ppxlib__.Import.variance * Ppxlib__.Import.injectivity))
      list ->
  cstrs:
    (Ppxlib__.Import.core_type
     * Ppxlib__.Import.core_type
     * Ppxlib__.Import.location)
      list ->
  kind:Ppxlib__.Import.type_kind ->
  private_:Ppxlib__.Import.private_flag ->
  manifest:Ppxlib__.Import.core_type option ->
  Ppxlib__.Import.type_declaration

val type_exception : 
  Ppxlib__.Import.extension_constructor ->
  Ppxlib__.Import.type_exception

val type_extension : 
  path:Ppxlib__.Import.longident_loc ->
  params:
    (Ppxlib__.Import.core_type
     * (Ppxlib__.Import.variance * Ppxlib__.Import.injectivity))
      list ->
  constructors:Ppxlib__.Import.extension_constructor list ->
  private_:Ppxlib__.Import.private_flag ->
  Ppxlib__.Import.type_extension

val value_binding : 
  pat:Ppxlib__.Import.pattern ->
  expr:Ppxlib__.Import.expression ->
  Ppxlib__.Import.value_binding

val value_description : 
  name:string Ppxlib__.Import.loc ->
  type_:Ppxlib__.Import.core_type ->
  prim:string list ->
  Ppxlib__.Import.value_description

val eint : 
  (int -> Ppxlib__.Import.expression) Ppxlib__Ast_builder_intf.without_location

val echar : 
  (char ->
    Ppxlib__.Import.expression)
    Ppxlib__Ast_builder_intf.without_location

val estring : 
  (string ->
    Ppxlib__.Import.expression)
    Ppxlib__Ast_builder_intf.without_location

val efloat : 
  (string ->
    Ppxlib__.Import.expression)
    Ppxlib__Ast_builder_intf.without_location

val eint32 : 
  (int32 ->
    Ppxlib__.Import.expression)
    Ppxlib__Ast_builder_intf.without_location

val eint64 : 
  (int64 ->
    Ppxlib__.Import.expression)
    Ppxlib__Ast_builder_intf.without_location

val enativeint : 
  (nativeint ->
    Ppxlib__.Import.expression)
    Ppxlib__Ast_builder_intf.without_location

val ebool : 
  (bool ->
    Ppxlib__.Import.expression)
    Ppxlib__Ast_builder_intf.without_location

val pint : 
  (int -> Ppxlib__.Import.pattern) Ppxlib__Ast_builder_intf.without_location

val pchar : 
  (char -> Ppxlib__.Import.pattern) Ppxlib__Ast_builder_intf.without_location

val pstring : 
  (string -> Ppxlib__.Import.pattern) Ppxlib__Ast_builder_intf.without_location

val pfloat : 
  (string -> Ppxlib__.Import.pattern) Ppxlib__Ast_builder_intf.without_location

val pint32 : 
  (int32 -> Ppxlib__.Import.pattern) Ppxlib__Ast_builder_intf.without_location

val pint64 : 
  (int64 -> Ppxlib__.Import.pattern) Ppxlib__Ast_builder_intf.without_location

val pnativeint : 
  (nativeint ->
    Ppxlib__.Import.pattern)
    Ppxlib__Ast_builder_intf.without_location

val pbool : 
  (bool -> Ppxlib__.Import.pattern) Ppxlib__Ast_builder_intf.without_location

val eunit : 
  Ppxlib__.Import.expression Ppxlib__Ast_builder_intf.without_location

val punit : Ppxlib__.Import.pattern Ppxlib__Ast_builder_intf.without_location

val evar : 
  (string ->
    Ppxlib__.Import.expression)
    Ppxlib__Ast_builder_intf.without_location

val pvar : 
  (string -> Ppxlib__.Import.pattern) Ppxlib__Ast_builder_intf.without_location

val eapply : 
  (Ppxlib__.Import.expression ->
    Ppxlib__.Import.expression list ->
    Ppxlib__.Import.expression)
    Ppxlib__Ast_builder_intf.without_location

val eabstract : 
  (Ppxlib__.Import.pattern list ->
    Ppxlib__.Import.expression ->
    Ppxlib__.Import.expression)
    Ppxlib__Ast_builder_intf.without_location

val esequence : 
  (Ppxlib__.Import.expression list ->
    Ppxlib__.Import.expression)
    Ppxlib__Ast_builder_intf.without_location

val ppat_tuple_opt : 
  (Ppxlib__.Import.pattern list ->
    Ppxlib__.Import.pattern option)
    Ppxlib__Ast_builder_intf.without_location

val pexp_tuple_opt : 
  (Ppxlib__.Import.expression list ->
    Ppxlib__.Import.expression option)
    Ppxlib__Ast_builder_intf.without_location

val pconstruct : 
  Ppxlib__.Import.constructor_declaration ->
  Ppxlib__.Import.pattern option ->
  Ppxlib__.Import.pattern

val econstruct : 
  Ppxlib__.Import.constructor_declaration ->
  Ppxlib__.Import.expression option ->
  Ppxlib__.Import.expression

val elist_tail : 
  (Ppxlib__.Import.expression list ->
    Ppxlib__.Import.expression ->
    Ppxlib__.Import.expression)
    Ppxlib__Ast_builder_intf.without_location

val elist : 
  (Ppxlib__.Import.expression list ->
    Ppxlib__.Import.expression)
    Ppxlib__Ast_builder_intf.without_location

val plist_tail : 
  (Ppxlib__.Import.pattern list ->
    Ppxlib__.Import.pattern ->
    Ppxlib__.Import.pattern)
    Ppxlib__Ast_builder_intf.without_location

val plist : 
  (Ppxlib__.Import.pattern list ->
    Ppxlib__.Import.pattern)
    Ppxlib__Ast_builder_intf.without_location

val pstr_value_list : 
  loc:Ppxlib__.Location.t ->
  Ppxlib__.Import.Asttypes.rec_flag ->
  Ppxlib__.Import.value_binding list ->
  Ppxlib__.Import.structure_item list

val nonrec_type_declaration : 
  (name:string Ppxlib__.Loc.t ->
    params:(Ppxlib__.Import.core_type * Ppxlib__.Import.Asttypes.variance) list ->
    cstrs:
      (Ppxlib__.Import.core_type
       * Ppxlib__.Import.core_type
       * Ppxlib__.Location.t)
        list ->
    kind:Ppxlib__.Import.type_kind ->
    private_:Ppxlib__.Import.Asttypes.private_flag ->
    manifest:Ppxlib__.Import.core_type option ->
    Ppxlib__.Import.type_declaration)
    Ppxlib__Ast_builder_intf.without_location

deprecated [since 2016-10] use Nonrecursive on the P(str|sig)_type instead

val unapplied_type_constr_conv : 
  (Ppxlib__.Longident.t Ppxlib__.Loc.t ->
    f:(string -> string) ->
    Ppxlib__.Import.expression)
    Ppxlib__Ast_builder_intf.without_location

val type_constr_conv : 
  (Ppxlib__.Longident.t Ppxlib__.Loc.t ->
    f:(string -> string) ->
    Ppxlib__.Import.expression list ->
    Ppxlib__.Import.expression)
    Ppxlib__Ast_builder_intf.without_location

val eta_reduce : 
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression option

val eta_reduce_if_possible : 
  Ppxlib__.Import.expression ->
  Ppxlib__.Import.expression

val eta_reduce_if_possible_and_nonrec : 
  Ppxlib__.Import.expression ->
  rec_flag:Ppxlib__.Import.rec_flag ->
  Ppxlib__.Import.expression

module Latest : sig ... end

val ppat_construct : 
  Ppxlib__.Import.longident Ppxlib__.Import.loc ->
  Ppxlib__.Import.pattern option ->
  Ppxlib__.Import.pattern

val constructor_declaration : 
  name:Ppxlib__.Import.label Ppxlib__.Import.loc ->
  args:Ppxlib__.Import.constructor_arguments ->
  res:Ppxlib__.Import.core_type option ->
  Ppxlib__.Import.constructor_declaration

val noloc : 'a -> 'a Ppxlib.loc

val qualify : string list -> string -> Ppxlib.expression

val epred : Ppxlib.expression -> Ppxlib.expression

val esucc : Ppxlib.expression -> Ppxlib.expression

val econst : Ppxlib.constant -> Ppxlib.expression

val enot : Ppxlib.expression -> Ppxlib.expression

val elocation : Ppxlib.location -> Ppxlib.expression

val efun : 
  (Ppxlib.arg_label * Ppxlib.pattern) list ->
  Ppxlib.expression ->
  Ppxlib.expression

val lident : Ppxlib.label -> Ppxlib.longident Ppxlib.loc

val list_fold_expr : 
  Ppxlib.expression ->
  string ->
  Ppxlib.expression list ->
  Ppxlib.expression

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

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

val enone : Ppxlib.expression

val esome : Ppxlib.expression -> Ppxlib.expression