Helpers (GT.GTCommon.Expander.Make.Helpers)

type loc

type class_structure

type case

type class_declaration

type lab_decl

type module_declaration

type module_type_declaration

type type_arg

val loc_from_caml : Ppxlib.location -> loc

val noloc : loc

val named_type_arg : loc:loc -> string -> type_arg

val typ_arg_of_core_type : Ppxlib.core_type -> type_arg

module Pat : sig ... end

module Exp : sig ... end

module Typ : sig ... end

module Cf : sig ... end

module Cty : sig ... end

module Ctf : sig ... end

module Str : sig ... end

module Sig : sig ... end

module Me : sig ... end

module Mt : sig ... end

module WC : sig ... end

module Cl : sig ... end

module Vb : sig ... end

val class_declaration : 
  loc:loc ->
  name:string ->
  ?virt:bool ->
  ?wrap:(Cl.t -> Cl.t) ->
  params:type_arg list ->
  Cf.t list ->
  class_declaration

val value_binding : loc:loc -> pat:Pat.t -> expr:Exp.t -> Vb.t

val case : lhs:Pat.t -> rhs:Exp.t -> case

val class_structure : self:Pat.t -> fields:Cf.t list -> class_structure

val lab_decl : loc:loc -> string -> bool -> Typ.t -> lab_decl

val module_declaration : loc:loc -> name:string -> Mt.t -> module_declaration

val module_type_declaration : 
  loc:loc ->
  name:string ->
  Mt.t option ->
  module_type_declaration

val use_new_type : loc:loc -> string -> Exp.t -> Exp.t

val openize_poly : loc:loc -> Typ.t -> Typ.t

val prepare_param_triples : 
  loc:loc ->
  extra:Typ.t ->
  ?inh:(loc:loc -> string -> Typ.t) ->
  ?syn:(loc:loc -> string -> Typ.t) ->
  ?default_inh:Typ.t ->
  ?default_syn:Typ.t ->
  string list ->
  Typ.t list

val typ_vars_of_typ : Typ.t -> string list