Ast_typ_uncurry (melange.Melange_ppx_lib.Ast_typ

type typ = Melange_compiler_libs.Parsetree.core_type

type 'a cxt =
  Melange_compiler_libs.Ast_helper.loc ->
  Melange_compiler_libs.Ast_mapper.mapper ->
  'a

type uncurry_type_gen = (Asttypes.arg_label -> typ -> typ -> typ) cxt

val to_uncurry_type : uncurry_type_gen

syntax :

int -> int -> int [@bs]

val to_method_type : uncurry_type_gen

syntax

method : int -> itn -> int

val to_method_callback_type : uncurry_type_gen

syntax:

'obj -> int -> int [@bs.this]

val generate_method_type : 
  Melange_compiler_libs.Location.t ->
  Melange_compiler_libs.Ast_mapper.mapper ->
  ?alias_type:Melange_compiler_libs.Parsetree.core_type ->
  string ->
  Asttypes.arg_label ->
  Melange_compiler_libs.Parsetree.pattern ->
  Melange_compiler_libs.Parsetree.expression ->
  Melange_compiler_libs.Parsetree.core_type

val generate_arg_type : 
  Melange_compiler_libs.Location.t ->
  Melange_compiler_libs.Ast_mapper.mapper ->
  string ->
  Asttypes.arg_label ->
  Melange_compiler_libs.Parsetree.pattern ->
  Melange_compiler_libs.Parsetree.expression ->
  Melange_compiler_libs.Parsetree.core_type