Module Incr_dom_widgets.Form.Description.Of_record.Make_creator_types

These are the types used for building a form by combining record fields.

You should never have to think about them, but they have to be exposed for type-checking to work correctly.

type ('tail, 'tail_ids, 'all_fields, 'all_ids, 'record) accum
type ('field, 'head, 'head_ids, 'tail, 'tail_ids, 'all_fields, 'all_ids, 'record) fold_step = ('head'head_ids'all_fields'all_ids'recordaccum ‑> ('all_fields ‑> 'field) * ('tail'tail_ids'all_fields'all_ids'recordaccum
type ('field, 'field_ids, 'tail, 'tail_ids, 'all_fields, 'all_ids, 'record) handle_one_field = ('field, ('field'tailRecord_builder.Hlist.cons, ('field_ids'tail_idsRecord_builder.Hlist.cons'tail'tail_ids'all_fields Record_builder.Hlist.nonempty'all_ids Record_builder.Hlist.nonempty'recordfold_step
type ('all_fields, 'all_ids, 'record) handle_all_fields = ('record'all_fields Record_builder.Hlist.nonempty'all_ids Record_builder.Hlist.nonemptyRecord_builder.Hlist.nilRecord_builder.Hlist.nil'all_fields Record_builder.Hlist.nonempty'all_ids Record_builder.Hlist.nonempty'recordfold_step