val iter :
( 'a, 'b ) t ->
magnitude:
( ( [< `Read | `Set_and_create ], ( 'c, 'd ) t, 'c )
Fieldslib.Field.t_with_perm ->
( 'a, 'b ) t ->
'e ->
'f ) ->
sgn:
( ( [< `Read | `Set_and_create ], ( 'g, 'h ) t, 'h )
Fieldslib.Field.t_with_perm ->
( 'a, 'b ) t ->
'i ->
'j ) ->
'kval fold :
( 'a, 'b ) t ->
init:'c ->
magnitude:
( 'd ->
( [< `Read | `Set_and_create ], ( 'e, 'f ) t, 'e )
Fieldslib.Field.t_with_perm ->
( 'a, 'b ) t ->
'g ->
'h ) ->
sgn:
( 'i ->
( [< `Read | `Set_and_create ], ( 'j, 'k ) t, 'k )
Fieldslib.Field.t_with_perm ->
( 'a, 'b ) t ->
'l ->
'm ) ->
'nval for_all :
( 'a, 'b ) t ->
magnitude:
( ( [< `Read | `Set_and_create ], ( 'c, 'd ) t, 'c )
Fieldslib.Field.t_with_perm ->
( 'a, 'b ) t ->
'e ->
bool ) ->
sgn:
( ( [< `Read | `Set_and_create ], ( 'f, 'g ) t, 'g )
Fieldslib.Field.t_with_perm ->
( 'a, 'b ) t ->
'h ->
bool ) ->
boolval exists :
( 'a, 'b ) t ->
magnitude:
( ( [< `Read | `Set_and_create ], ( 'c, 'd ) t, 'c )
Fieldslib.Field.t_with_perm ->
( 'a, 'b ) t ->
'e ->
bool ) ->
sgn:
( ( [< `Read | `Set_and_create ], ( 'f, 'g ) t, 'g )
Fieldslib.Field.t_with_perm ->
( 'a, 'b ) t ->
'h ->
bool ) ->
boolval to_list :
( 'a, 'b ) t ->
magnitude:
( ( [< `Read | `Set_and_create ], ( 'c, 'd ) t, 'c )
Fieldslib.Field.t_with_perm ->
( 'a, 'b ) t ->
'e ->
'f ) ->
sgn:
( ( [< `Read | `Set_and_create ], ( 'g, 'h ) t, 'h )
Fieldslib.Field.t_with_perm ->
( 'a, 'b ) t ->
'i ->
'j ) ->
'k listval map :
( 'a, 'b ) t ->
magnitude:
( ( [< `Read | `Set_and_create ], ( 'c, 'd ) t, 'c )
Fieldslib.Field.t_with_perm ->
( 'a, 'b ) t ->
'e ->
'f ) ->
sgn:
( ( [< `Read | `Set_and_create ], ( 'g, 'h ) t, 'h )
Fieldslib.Field.t_with_perm ->
( 'a, 'b ) t ->
'i ->
'j ) ->
( 'k, 'l ) tval set_all_mutable_fields : 'a -> unit