sig
  type 'a t = 'a Ketrew_pure.Reactive.signal
  val map :
    'a Ketrew_pure.Reactive.Signal.t ->
    f:('a -> 'b) -> 'b Ketrew_pure.Reactive.Signal.t
  val bind :
    'a Ketrew_pure.Reactive.Signal.t ->
    f:('a -> 'b Ketrew_pure.Reactive.Signal.t) ->
    'b Ketrew_pure.Reactive.Signal.t
  val constant : 'a -> 'a Ketrew_pure.Reactive.Signal.t
  val value : 'a Ketrew_pure.Reactive.Signal.t -> 'a
  val singleton :
    'a Ketrew_pure.Reactive.Signal.t ->
    'a Ketrew_pure.Reactive.signal_list_wrap
  val list :
    'a list Ketrew_pure.Reactive.Signal.t ->
    'a Ketrew_pure.Reactive.signal_list_wrap
  val tuple_2 :
    'a Ketrew_pure.Reactive.Signal.t ->
    'b Ketrew_pure.Reactive.Signal.t ->
    ('a * 'b) Ketrew_pure.Reactive.Signal.t
  val tuple_3 :
    'a Ketrew_pure.Reactive.Signal.t ->
    'b Ketrew_pure.Reactive.Signal.t ->
    'c Ketrew_pure.Reactive.Signal.t ->
    ('a * 'b * 'c) Ketrew_pure.Reactive.Signal.t
end