DefaultNamePolicy (hax-engine.Hax_engine.Concrete

val reserved_words : Prelude.string Hax_engine.Prelude.Hash_set.t

val index_field_transform : Prelude.string -> Prelude.string

val field_name_transform : 
  struct_name:Prelude.string ->
  Prelude.string ->
  Prelude.string

val enum_constructor_name_transform : 
  enum_name:Prelude.string ->
  Prelude.string ->
  Prelude.string

val struct_constructor_name_transform : Prelude.string -> Prelude.string