val id :
( ( 'var, 'value, 'n1, 'n2 ) t, ( 'var, 'value, 'n1, 'n2 ) id )
Fieldslib.Field.readonly_tval kind : ( ( 'var, 'value, 'n1, 'n2 ) t, kind ) Fieldslib.Field.readonly_tval fold :
init:'acc__0 ->
kind:
( 'acc__0 ->
( ( 'var, 'value, 'n1, 'n2 ) t, kind ) Fieldslib.Field.readonly_t ->
'acc__1 ) ->
id:
( 'acc__1 ->
( ( 'var, 'value, 'n1, 'n2 ) t, ( 'var, 'value, 'n1, 'n2 ) id )
Fieldslib.Field.readonly_t ->
'acc__2 ) ->
'acc__2val iter :
kind:
( ( ( 'var, 'value, 'n1, 'n2 ) t, kind ) Fieldslib.Field.readonly_t ->
unit ) ->
id:
( ( ( 'var, 'value, 'n1, 'n2 ) t, ( 'var, 'value, 'n1, 'n2 ) id )
Fieldslib.Field.readonly_t ->
unit ) ->
unitval for_all :
kind:
( ( ( 'var, 'value, 'n1, 'n2 ) t, kind ) Fieldslib.Field.readonly_t ->
bool ) ->
id:
( ( ( 'var, 'value, 'n1, 'n2 ) t, ( 'var, 'value, 'n1, 'n2 ) id )
Fieldslib.Field.readonly_t ->
bool ) ->
boolval exists :
kind:
( ( ( 'var, 'value, 'n1, 'n2 ) t, kind ) Fieldslib.Field.readonly_t ->
bool ) ->
id:
( ( ( 'var, 'value, 'n1, 'n2 ) t, ( 'var, 'value, 'n1, 'n2 ) id )
Fieldslib.Field.readonly_t ->
bool ) ->
boolval to_list :
kind:
( ( ( 'var, 'value, 'n1, 'n2 ) t, kind ) Fieldslib.Field.readonly_t ->
'elem__ ) ->
id:
( ( ( 'var, 'value, 'n1, 'n2 ) t, ( 'var, 'value, 'n1, 'n2 ) id )
Fieldslib.Field.readonly_t ->
'elem__ ) ->
'elem__ listval map_poly :
( [< `Read ], ( 'var, 'value, 'n1, 'n2 ) t, 'x0 ) Fieldslib.Field.user ->
'x0 list