val iter :
t ->
value:
( ( t, Signal.t ) Fieldslib.Field.readonly_t ->
t ->
Signal.t ->
Base.unit ) ->
internal:
( ( t, internal ) Fieldslib.Field.readonly_t ->
t ->
internal ->
Base.unit ) ->
Base.unit
val fold :
t ->
init:'acc__0 ->
value:
( 'acc__0 ->
( t, Signal.t ) Fieldslib.Field.readonly_t ->
t ->
Signal.t ->
'acc__1 ) ->
internal:
( 'acc__1 ->
( t, internal ) Fieldslib.Field.readonly_t ->
t ->
internal ->
'acc__2 ) ->
'acc__2
val for_all :
t ->
value:
( ( t, Signal.t ) Fieldslib.Field.readonly_t ->
t ->
Signal.t ->
Base.bool ) ->
internal:
( ( t, internal ) Fieldslib.Field.readonly_t ->
t ->
internal ->
Base.bool ) ->
Base.bool
val exists :
t ->
value:
( ( t, Signal.t ) Fieldslib.Field.readonly_t ->
t ->
Signal.t ->
Base.bool ) ->
internal:
( ( t, internal ) Fieldslib.Field.readonly_t ->
t ->
internal ->
Base.bool ) ->
Base.bool
val to_list :
t ->
value:
( ( t, Signal.t ) Fieldslib.Field.readonly_t -> t -> Signal.t -> 'elem__ ) ->
internal:
( ( t, internal ) Fieldslib.Field.readonly_t -> t -> internal -> 'elem__ ) ->
'elem__ Base.list