val of_incr : 'result Incr_dom.Incr.t -> ('a, 'b, 'result) tval pure :
f:('input Incr_dom.Incr.t -> 'result Incr_dom.Incr.t) ->
('input, 'a, 'result) tval pure_from_model :
f:('model Incr_dom.Incr.t -> 'result Incr_dom.Incr.t) ->
('a, 'model, 'result) tval map :
('input, 'model, 'r1) t ->
f:('r1 Incr_dom.Incr.t -> 'r2 Incr_dom.Incr.t) ->
('input, 'model, 'r2) tval map_input :
('i2, 'model, 'result) t ->
f:('i1 Incr_dom.Incr.t -> 'i2 Incr_dom.Incr.t) ->
('i1, 'model, 'result) tmodule Case : sig ... endval switch :
f:
(('outer_input, 'outer_model, 'result) Case.case_creator ->
'outer_input Incr_dom.Incr.t ->
'outer_model Incr_dom.Incr.t ->
('outer_input, 'outer_model, 'result) Case.case Incr_dom.Incr.t) ->
('outer_input, 'outer_model, 'result) tmodule type S = sig ... endval of_module :
('input, 'model, 'action, 'result) component_s ->
('input, 'model, 'result) t