Module Concrete_ident.DefaultNamePolicy

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

List of all words that have a special meaning in the target language, and that should thus be escaped.

val anonymous_field_transform : Prelude.string -> Prelude.string

Transformation applied to anonymous tuple fields (i.e. x.1)

val named_field_prefix : [ `ConstructorName | `TypeName ] Prelude.option

Should fields be prefixed?

val prefix_struct_constructors_with_type : Prelude.bool
val prefix_enum_constructors_with_type : Prelude.bool
val prefix_union_constructors_with_type : Prelude.bool
val struct_constructor_prefix : Prelude.string Prelude.option
val enum_constructor_prefix : Prelude.string Prelude.option
val union_constructor_prefix : Prelude.string Prelude.option
val prefix_associated_item_with_trait_name : Prelude.bool