val names : Hardcaml__.Import.string Hardcaml__.Import.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 -> Hardcaml__.Import.unit) -> internal:((t, internal) Fieldslib.Field.readonly_t -> Hardcaml__.Import.unit) -> Hardcaml__.Import.unitval for_all : value:((t, Signal.t) Fieldslib.Field.readonly_t -> Hardcaml__.Import.bool) -> internal:((t, internal) Fieldslib.Field.readonly_t -> Hardcaml__.Import.bool) -> Hardcaml__.Import.boolval exists : value:((t, Signal.t) Fieldslib.Field.readonly_t -> Hardcaml__.Import.bool) -> internal:((t, internal) Fieldslib.Field.readonly_t -> Hardcaml__.Import.bool) -> Hardcaml__.Import.boolval to_list : value:((t, Signal.t) Fieldslib.Field.readonly_t -> 'elem__) -> internal:((t, internal) Fieldslib.Field.readonly_t -> 'elem__) -> 'elem__ Hardcaml__.Import.listval map_poly : ([< `Read ], t, 'x0) Fieldslib.Field.user -> 'x0 Hardcaml__.Import.list