Deriving (ppx_dhall_type.Ppx_dhall

val deriver : string

val field_key_attr : 
  ( Ppxlib__.Import.label_declaration, string ) Ppxlib.Attribute.t

val make_lident_cmp : 
  Core_kernel.String.t list ->
  Ppxlib.Longident.t Ppxlib.loc ->
  bool

val is_bool_lident : Ppxlib.Longident.t Ppxlib.loc -> bool

val is_int_lident : Ppxlib.Longident.t Ppxlib.loc -> bool

val is_float_lident : Ppxlib.Longident.t Ppxlib.loc -> bool

val is_string_lident : Ppxlib.Longident.t Ppxlib.loc -> bool

val is_option_lident : Ppxlib.Longident.t Ppxlib.loc -> bool

val is_list_lident : Ppxlib.Longident.t Ppxlib.loc -> bool

val dhall_type_of_core_type : Ppxlib.core_type -> Ppxlib.expression

val dhall_variant_from_constructor_declaration : 
  Ppxlib.constructor_declaration ->
  Ppxlib.expression

val dhall_field_from_label_declaration : 
  Ppxlib.label_declaration ->
  Ppxlib.expression

val generate_dhall_type : Ppxlib.type_declaration -> Ppxlib.structure_item

val generate_dhall_types : 
  loc:'a ->
  path:'b ->
  ('c * Ppxlib.type_declaration list) ->
  Ppxlib.structure_item list

val attributes : Ppxlib.Attribute.packed list

val str_type_decl : 
  ( Ppxlib.structure_item list,
    Ppxlib__.Import.rec_flag * Ppxlib.type_declaration list )
    Ppxlib.Deriving.Generator.t