Sourceval name : (t, string option) Fieldslib.Field.readonly_t Sourceval id : (t, int) Fieldslib.Field.readonly_t Sourceval fold :
init:'acc__0 ->
id:('acc__0 -> (t, int) Fieldslib.Field.readonly_t -> 'acc__1) ->
name:('acc__1 -> (t, string option) Fieldslib.Field.readonly_t -> 'acc__2) ->
'acc__2 Sourceval iter :
id:((t, int) Fieldslib.Field.readonly_t -> unit) ->
name:((t, string option) Fieldslib.Field.readonly_t -> unit) ->
unit Sourceval for_all :
id:((t, int) Fieldslib.Field.readonly_t -> bool) ->
name:((t, string option) Fieldslib.Field.readonly_t -> bool) ->
bool Sourceval exists :
id:((t, int) Fieldslib.Field.readonly_t -> bool) ->
name:((t, string option) Fieldslib.Field.readonly_t -> bool) ->
bool Sourceval to_list :
id:((t, int) Fieldslib.Field.readonly_t -> 'elem__) ->
name:((t, string option) Fieldslib.Field.readonly_t -> 'elem__) ->
'elem__ list Sourceval map_poly : ([< `Read ], t, 'x0) Fieldslib.Field.user -> 'x0 list