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