sig
  type 'a t = 'React.signal
  val const : '-> 'React.signal
  val create : ?eq:('-> '-> bool) -> '-> 'React.signal * ('-> unit)
  val value : 'React.signal -> 'a
  val retain : 'React.signal -> (unit -> unit) -> [ `R of unit -> unit ]
  val eq_fun : 'React.signal -> ('-> '-> bool) option
  val stop : 'React.signal -> unit
  val equal :
    ?eq:('-> '-> bool) -> 'React.signal -> 'React.signal -> bool
  val trace :
    ?iff:bool t -> ('-> unit) -> 'React.signal -> 'React.signal
  val hold :
    ?eq:('-> '-> bool) -> '-> 'React.event -> 'React.signal
  val app :
    ?eq:('-> '-> bool) ->
    ('-> 'b) React.signal -> 'React.signal -> 'React.signal
  val map :
    ?eq:('-> '-> bool) ->
    ('-> 'b) -> 'React.signal -> 'React.signal
  val filter :
    ?eq:('-> '-> bool) ->
    ('-> bool) -> '-> 'React.signal -> 'React.signal
  val fmap :
    ?eq:('-> '-> bool) ->
    ('-> 'b option) -> '-> 'React.signal -> 'React.signal
  val diff : ('-> '-> 'b) -> 'React.signal -> 'React.event
  val changes : 'React.signal -> 'React.event
  val sample :
    ('-> '-> 'c) -> 'React.event -> 'React.signal -> 'React.event
  val when_ :
    ?eq:('-> '-> bool) ->
    bool React.signal -> '-> 'React.signal -> 'React.signal
  val dismiss :
    ?eq:('-> '-> bool) ->
    'React.event -> '-> 'React.signal -> 'React.signal
  val accum :
    ?eq:('-> '-> bool) -> ('-> 'a) React.event -> '-> 'React.signal
  val fold :
    ?eq:('-> '-> bool) ->
    ('-> '-> 'a) -> '-> 'React.event -> 'React.signal
  val merge :
    ?eq:('-> '-> bool) ->
    ('-> '-> 'a) -> '-> 'React.signal list -> 'React.signal
  val switch :
    ?eq:('-> '-> bool) ->
    'React.signal -> 'React.signal React.event -> 'React.signal
  val fix :
    ?eq:('-> '-> bool) ->
    '-> ('React.signal -> 'React.signal * 'b) -> 'b
  val l1 :
    ?eq:('-> '-> bool) ->
    ('-> 'b) -> 'React.signal -> 'React.signal
  val l2 :
    ?eq:('-> '-> bool) ->
    ('-> '-> 'c) -> 'React.signal -> 'React.signal -> 'React.signal
  val l3 :
    ?eq:('-> '-> bool) ->
    ('-> '-> '-> 'd) ->
    'React.signal -> 'React.signal -> 'React.signal -> 'React.signal
  val l4 :
    ?eq:('-> '-> bool) ->
    ('-> '-> '-> '-> 'e) ->
    'React.signal ->
    'React.signal -> 'React.signal -> 'React.signal -> 'React.signal
  val l5 :
    ?eq:('-> '-> bool) ->
    ('-> '-> '-> '-> '-> 'f) ->
    'React.signal ->
    'React.signal ->
    'React.signal -> 'React.signal -> 'React.signal -> 'React.signal
  val l6 :
    ?eq:('-> '-> bool) ->
    ('-> '-> '-> '-> '-> '-> 'g) ->
    'React.signal ->
    'React.signal ->
    'React.signal ->
    'React.signal -> 'React.signal -> 'React.signal -> 'React.signal
  module Bool :
    sig
      val not : bool React.signal -> bool React.signal
      val ( && ) :
        bool React.signal -> bool React.signal -> bool React.signal
      val ( || ) :
        bool React.signal -> bool React.signal -> bool React.signal
    end
  module Int :
    sig
      val ( ~- ) : int React.signal -> int React.signal
      val succ : int React.signal -> int React.signal
      val pred : int React.signal -> int React.signal
      val ( + ) : int React.signal -> int React.signal -> int React.signal
      val ( - ) : int React.signal -> int React.signal -> int React.signal
      val ( * ) : int React.signal -> int React.signal -> int React.signal
      val ( mod ) : int React.signal -> int React.signal -> int React.signal
      val abs : int React.signal -> int React.signal
      val max_int : int React.signal
      val min_int : int React.signal
      val ( land ) : int React.signal -> int React.signal -> int React.signal
      val ( lor ) : int React.signal -> int React.signal -> int React.signal
      val ( lxor ) : int React.signal -> int React.signal -> int React.signal
      val lnot : int React.signal -> int React.signal
      val ( lsl ) : int React.signal -> int React.signal -> int React.signal
      val ( lsr ) : int React.signal -> int React.signal -> int React.signal
      val ( asr ) : int React.signal -> int React.signal -> int React.signal
    end
  module Float :
    sig
      val ( ~-. ) : float React.signal -> float React.signal
      val ( +. ) :
        float React.signal -> float React.signal -> float React.signal
      val ( -. ) :
        float React.signal -> float React.signal -> float React.signal
      val ( *. ) :
        float React.signal -> float React.signal -> float React.signal
      val ( /. ) :
        float React.signal -> float React.signal -> float React.signal
      val ( ** ) :
        float React.signal -> float React.signal -> float React.signal
      val sqrt : float React.signal -> float React.signal
      val exp : float React.signal -> float React.signal
      val log : float React.signal -> float React.signal
      val log10 : float React.signal -> float React.signal
      val cos : float React.signal -> float React.signal
      val sin : float React.signal -> float React.signal
      val tan : float React.signal -> float React.signal
      val acos : float React.signal -> float React.signal
      val asin : float React.signal -> float React.signal
      val atan : float React.signal -> float React.signal
      val atan2 :
        float React.signal -> float React.signal -> float React.signal
      val cosh : float React.signal -> float React.signal
      val sinh : float React.signal -> float React.signal
      val tanh : float React.signal -> float React.signal
      val ceil : float React.signal -> float React.signal
      val floor : float React.signal -> float React.signal
      val abs_float : float React.signal -> float React.signal
      val mod_float :
        float React.signal -> float React.signal -> float React.signal
      val frexp : float React.signal -> (float * int) React.signal
      val ldexp :
        float React.signal -> int React.signal -> float React.signal
      val modf : float React.signal -> (float * float) React.signal
      val float : int React.signal -> float React.signal
      val float_of_int : int React.signal -> float React.signal
      val truncate : float React.signal -> int React.signal
      val int_of_float : float React.signal -> int React.signal
      val infinity : float React.signal
      val neg_infinity : float React.signal
      val nan : float React.signal
      val max_float : float React.signal
      val min_float : float React.signal
      val epsilon_float : float React.signal
      val classify_float : float React.signal -> fpclass React.signal
    end
  module Pair :
    sig
      val pair :
        ?eq:('a * '-> 'a * '-> bool) ->
        'React.signal -> 'React.signal -> ('a * 'b) React.signal
      val fst :
        ?eq:('-> '-> bool) -> ('a * 'b) React.signal -> 'React.signal
      val snd :
        ?eq:('-> '-> bool) -> ('b * 'a) React.signal -> 'React.signal
    end
  module Compare :
    sig
      val ( = ) : 'React.signal -> 'React.signal -> bool React.signal
      val ( <> ) : 'React.signal -> 'React.signal -> bool React.signal
      val ( < ) : 'React.signal -> 'React.signal -> bool React.signal
      val ( > ) : 'React.signal -> 'React.signal -> bool React.signal
      val ( <= ) : 'React.signal -> 'React.signal -> bool React.signal
      val ( >= ) : 'React.signal -> 'React.signal -> bool React.signal
      val compare : 'React.signal -> 'React.signal -> int React.signal
      val ( == ) : 'React.signal -> 'React.signal -> bool React.signal
      val ( != ) : 'React.signal -> 'React.signal -> bool React.signal
    end
  module type EqType = sig type 'a t val equal : 'a t -> 'a t -> bool end
  module type S =
    sig
      type 'a v
      val create : 'a v -> 'a v React.signal * ('a v -> unit)
      val equal : 'a v React.signal -> 'a v React.signal -> bool
      val hold : 'a v -> 'a v React.event -> 'a v React.signal
      val app :
        ('-> 'b v) React.signal -> 'React.signal -> 'b v React.signal
      val map : ('-> 'b v) -> 'React.signal -> 'b v React.signal
      val filter :
        ('a v -> bool) -> 'a v -> 'a v React.signal -> 'a v React.signal
      val fmap :
        ('-> 'b v option) -> 'b v -> 'React.signal -> 'b v React.signal
      val when_ :
        bool React.signal -> 'a v -> 'a v React.signal -> 'a v React.signal
      val dismiss :
        'React.event -> 'a v -> 'a v React.signal -> 'a v React.signal
      val accum : ('a v -> 'a v) React.event -> 'a v -> 'a v React.signal
      val fold :
        ('a v -> '-> 'a v) -> 'a v -> 'React.event -> 'a v React.signal
      val merge :
        ('a v -> '-> 'a v) ->
        'a v -> 'React.signal list -> 'a v React.signal
      val switch :
        'a v React.signal ->
        'a v React.signal React.event -> 'a v React.signal
      val fix : 'a v -> ('a v React.signal -> 'a v React.signal * 'b) -> 'b
      val l1 : ('-> 'b v) -> 'React.signal -> 'b v React.signal
      val l2 :
        ('-> '-> 'c v) ->
        'React.signal -> 'React.signal -> 'c v React.signal
      val l3 :
        ('-> '-> '-> 'd v) ->
        'React.signal ->
        'React.signal -> 'React.signal -> 'd v React.signal
      val l4 :
        ('-> '-> '-> '-> 'e v) ->
        'React.signal ->
        'React.signal ->
        'React.signal -> 'React.signal -> 'e v React.signal
      val l5 :
        ('-> '-> '-> '-> '-> 'f v) ->
        'React.signal ->
        'React.signal ->
        'React.signal ->
        'React.signal -> 'React.signal -> 'f v React.signal
      val l6 :
        ('-> '-> '-> '-> '-> '-> 'g v) ->
        'React.signal ->
        'React.signal ->
        'React.signal ->
        'React.signal ->
        'React.signal -> 'React.signal -> 'g v React.signal
    end
  module Make :
    functor (Eq : EqType->
      sig
        type 'a v = 'Eq.t
        val create : 'a v -> 'a v React.signal * ('a v -> unit)
        val equal : 'a v React.signal -> 'a v React.signal -> bool
        val hold : 'a v -> 'a v React.event -> 'a v React.signal
        val app :
          ('-> 'b v) React.signal -> 'React.signal -> 'b v React.signal
        val map : ('-> 'b v) -> 'React.signal -> 'b v React.signal
        val filter :
          ('a v -> bool) -> 'a v -> 'a v React.signal -> 'a v React.signal
        val fmap :
          ('-> 'b v option) -> 'b v -> 'React.signal -> 'b v React.signal
        val when_ :
          bool React.signal -> 'a v -> 'a v React.signal -> 'a v React.signal
        val dismiss :
          'React.event -> 'a v -> 'a v React.signal -> 'a v React.signal
        val accum : ('a v -> 'a v) React.event -> 'a v -> 'a v React.signal
        val fold :
          ('a v -> '-> 'a v) -> 'a v -> 'React.event -> 'a v React.signal
        val merge :
          ('a v -> '-> 'a v) ->
          'a v -> 'React.signal list -> 'a v React.signal
        val switch :
          'a v React.signal ->
          'a v React.signal React.event -> 'a v React.signal
        val fix : 'a v -> ('a v React.signal -> 'a v React.signal * 'b) -> 'b
        val l1 : ('-> 'b v) -> 'React.signal -> 'b v React.signal
        val l2 :
          ('-> '-> 'c v) ->
          'React.signal -> 'React.signal -> 'c v React.signal
        val l3 :
          ('-> '-> '-> 'd v) ->
          'React.signal ->
          'React.signal -> 'React.signal -> 'd v React.signal
        val l4 :
          ('-> '-> '-> '-> 'e v) ->
          'React.signal ->
          'React.signal ->
          'React.signal -> 'React.signal -> 'e v React.signal
        val l5 :
          ('-> '-> '-> '-> '-> 'f v) ->
          'React.signal ->
          'React.signal ->
          'React.signal ->
          'React.signal -> 'React.signal -> 'f v React.signal
        val l6 :
          ('-> '-> '-> '-> '-> '-> 'g v) ->
          'React.signal ->
          'React.signal ->
          'React.signal ->
          'React.signal ->
          'React.signal -> 'React.signal -> 'g v React.signal
      end
  module Special :
    sig
      module Sb :
        sig
          type 'a v = bool
          val create : 'a v -> 'a v React.signal * ('a v -> unit)
          val equal : 'a v React.signal -> 'a v React.signal -> bool
          val hold : 'a v -> 'a v React.event -> 'a v React.signal
          val app :
            ('-> 'b v) React.signal -> 'React.signal -> 'b v React.signal
          val map : ('-> 'b v) -> 'React.signal -> 'b v React.signal
          val filter :
            ('a v -> bool) -> 'a v -> 'a v React.signal -> 'a v React.signal
          val fmap :
            ('-> 'b v option) ->
            'b v -> 'React.signal -> 'b v React.signal
          val when_ :
            bool React.signal ->
            'a v -> 'a v React.signal -> 'a v React.signal
          val dismiss :
            'React.event -> 'a v -> 'a v React.signal -> 'a v React.signal
          val accum : ('a v -> 'a v) React.event -> 'a v -> 'a v React.signal
          val fold :
            ('a v -> '-> 'a v) ->
            'a v -> 'React.event -> 'a v React.signal
          val merge :
            ('a v -> '-> 'a v) ->
            'a v -> 'React.signal list -> 'a v React.signal
          val switch :
            'a v React.signal ->
            'a v React.signal React.event -> 'a v React.signal
          val fix :
            'a v -> ('a v React.signal -> 'a v React.signal * 'b) -> 'b
          val l1 : ('-> 'b v) -> 'React.signal -> 'b v React.signal
          val l2 :
            ('-> '-> 'c v) ->
            'React.signal -> 'React.signal -> 'c v React.signal
          val l3 :
            ('-> '-> '-> 'd v) ->
            'React.signal ->
            'React.signal -> 'React.signal -> 'd v React.signal
          val l4 :
            ('-> '-> '-> '-> 'e v) ->
            'React.signal ->
            'React.signal ->
            'React.signal -> 'React.signal -> 'e v React.signal
          val l5 :
            ('-> '-> '-> '-> '-> 'f v) ->
            'React.signal ->
            'React.signal ->
            'React.signal ->
            'React.signal -> 'React.signal -> 'f v React.signal
          val l6 :
            ('-> '-> '-> '-> '-> '-> 'g v) ->
            'React.signal ->
            'React.signal ->
            'React.signal ->
            'React.signal ->
            'React.signal -> 'React.signal -> 'g v React.signal
        end
      module Si :
        sig
          type 'a v = int
          val create : 'a v -> 'a v React.signal * ('a v -> unit)
          val equal : 'a v React.signal -> 'a v React.signal -> bool
          val hold : 'a v -> 'a v React.event -> 'a v React.signal
          val app :
            ('-> 'b v) React.signal -> 'React.signal -> 'b v React.signal
          val map : ('-> 'b v) -> 'React.signal -> 'b v React.signal
          val filter :
            ('a v -> bool) -> 'a v -> 'a v React.signal -> 'a v React.signal
          val fmap :
            ('-> 'b v option) ->
            'b v -> 'React.signal -> 'b v React.signal
          val when_ :
            bool React.signal ->
            'a v -> 'a v React.signal -> 'a v React.signal
          val dismiss :
            'React.event -> 'a v -> 'a v React.signal -> 'a v React.signal
          val accum : ('a v -> 'a v) React.event -> 'a v -> 'a v React.signal
          val fold :
            ('a v -> '-> 'a v) ->
            'a v -> 'React.event -> 'a v React.signal
          val merge :
            ('a v -> '-> 'a v) ->
            'a v -> 'React.signal list -> 'a v React.signal
          val switch :
            'a v React.signal ->
            'a v React.signal React.event -> 'a v React.signal
          val fix :
            'a v -> ('a v React.signal -> 'a v React.signal * 'b) -> 'b
          val l1 : ('-> 'b v) -> 'React.signal -> 'b v React.signal
          val l2 :
            ('-> '-> 'c v) ->
            'React.signal -> 'React.signal -> 'c v React.signal
          val l3 :
            ('-> '-> '-> 'd v) ->
            'React.signal ->
            'React.signal -> 'React.signal -> 'd v React.signal
          val l4 :
            ('-> '-> '-> '-> 'e v) ->
            'React.signal ->
            'React.signal ->
            'React.signal -> 'React.signal -> 'e v React.signal
          val l5 :
            ('-> '-> '-> '-> '-> 'f v) ->
            'React.signal ->
            'React.signal ->
            'React.signal ->
            'React.signal -> 'React.signal -> 'f v React.signal
          val l6 :
            ('-> '-> '-> '-> '-> '-> 'g v) ->
            'React.signal ->
            'React.signal ->
            'React.signal ->
            'React.signal ->
            'React.signal -> 'React.signal -> 'g v React.signal
        end
      module Sf :
        sig
          type 'a v = float
          val create : 'a v -> 'a v React.signal * ('a v -> unit)
          val equal : 'a v React.signal -> 'a v React.signal -> bool
          val hold : 'a v -> 'a v React.event -> 'a v React.signal
          val app :
            ('-> 'b v) React.signal -> 'React.signal -> 'b v React.signal
          val map : ('-> 'b v) -> 'React.signal -> 'b v React.signal
          val filter :
            ('a v -> bool) -> 'a v -> 'a v React.signal -> 'a v React.signal
          val fmap :
            ('-> 'b v option) ->
            'b v -> 'React.signal -> 'b v React.signal
          val when_ :
            bool React.signal ->
            'a v -> 'a v React.signal -> 'a v React.signal
          val dismiss :
            'React.event -> 'a v -> 'a v React.signal -> 'a v React.signal
          val accum : ('a v -> 'a v) React.event -> 'a v -> 'a v React.signal
          val fold :
            ('a v -> '-> 'a v) ->
            'a v -> 'React.event -> 'a v React.signal
          val merge :
            ('a v -> '-> 'a v) ->
            'a v -> 'React.signal list -> 'a v React.signal
          val switch :
            'a v React.signal ->
            'a v React.signal React.event -> 'a v React.signal
          val fix :
            'a v -> ('a v React.signal -> 'a v React.signal * 'b) -> 'b
          val l1 : ('-> 'b v) -> 'React.signal -> 'b v React.signal
          val l2 :
            ('-> '-> 'c v) ->
            'React.signal -> 'React.signal -> 'c v React.signal
          val l3 :
            ('-> '-> '-> 'd v) ->
            'React.signal ->
            'React.signal -> 'React.signal -> 'd v React.signal
          val l4 :
            ('-> '-> '-> '-> 'e v) ->
            'React.signal ->
            'React.signal ->
            'React.signal -> 'React.signal -> 'e v React.signal
          val l5 :
            ('-> '-> '-> '-> '-> 'f v) ->
            'React.signal ->
            'React.signal ->
            'React.signal ->
            'React.signal -> 'React.signal -> 'f v React.signal
          val l6 :
            ('-> '-> '-> '-> '-> '-> 'g v) ->
            'React.signal ->
            'React.signal ->
            'React.signal ->
            'React.signal ->
            'React.signal -> 'React.signal -> 'g v React.signal
        end
    end
  val return : '-> 'Lwt_react.signal
  val bind :
    ?eq:('-> '-> bool) ->
    'Lwt_react.signal -> ('-> 'Lwt_react.signal) -> 'Lwt_react.signal
  val bind_s :
    ?eq:('-> '-> bool) ->
    'Lwt_react.signal ->
    ('-> 'Lwt_react.signal Lwt.t) -> 'Lwt_react.signal Lwt.t
  val with_finaliser :
    (unit -> unit) -> 'Lwt_react.signal -> 'Lwt_react.signal
  val limit :
    ?eq:('-> '-> bool) ->
    (unit -> unit Lwt.t) -> 'Lwt_react.signal -> 'Lwt_react.signal
  val keep : 'Lwt_react.signal -> unit
  val app_s :
    ?eq:('-> '-> bool) ->
    ('-> 'Lwt.t) Lwt_react.signal ->
    'Lwt_react.signal -> 'Lwt_react.signal Lwt.t
  val map_s :
    ?eq:('-> '-> bool) ->
    ('-> 'Lwt.t) -> 'Lwt_react.signal -> 'Lwt_react.signal Lwt.t
  val filter_s :
    ?eq:('-> '-> bool) ->
    ('-> bool Lwt.t) ->
    '-> 'Lwt_react.signal -> 'Lwt_react.signal Lwt.t
  val fmap_s :
    ?eq:('-> '-> bool) ->
    ('-> 'b option Lwt.t) ->
    '-> 'Lwt_react.signal -> 'Lwt_react.signal Lwt.t
  val diff_s :
    ('-> '-> 'Lwt.t) -> 'Lwt_react.signal -> 'Lwt_react.event
  val sample_s :
    ('-> '-> 'Lwt.t) ->
    'Lwt_react.event -> 'Lwt_react.signal -> 'Lwt_react.event
  val accum_s :
    ?eq:('-> '-> bool) ->
    ('-> 'Lwt.t) Lwt_react.event -> '-> 'Lwt_react.signal
  val fold_s :
    ?eq:('-> '-> bool) ->
    ('-> '-> 'Lwt.t) -> '-> 'Lwt_react.event -> 'Lwt_react.signal
  val merge_s :
    ?eq:('-> '-> bool) ->
    ('-> '-> 'Lwt.t) ->
    '-> 'Lwt_react.signal list -> 'Lwt_react.signal Lwt.t
  val l1_s :
    ?eq:('-> '-> bool) ->
    ('-> 'Lwt.t) -> 'Lwt_react.signal -> 'Lwt_react.signal Lwt.t
  val l2_s :
    ?eq:('-> '-> bool) ->
    ('-> '-> 'Lwt.t) ->
    'Lwt_react.signal -> 'Lwt_react.signal -> 'Lwt_react.signal Lwt.t
  val l3_s :
    ?eq:('-> '-> bool) ->
    ('-> '-> '-> 'Lwt.t) ->
    'Lwt_react.signal ->
    'Lwt_react.signal -> 'Lwt_react.signal -> 'Lwt_react.signal Lwt.t
  val l4_s :
    ?eq:('-> '-> bool) ->
    ('-> '-> '-> '-> 'Lwt.t) ->
    'Lwt_react.signal ->
    'Lwt_react.signal ->
    'Lwt_react.signal -> 'Lwt_react.signal -> 'Lwt_react.signal Lwt.t
  val l5_s :
    ?eq:('-> '-> bool) ->
    ('-> '-> '-> '-> '-> 'Lwt.t) ->
    'Lwt_react.signal ->
    'Lwt_react.signal ->
    'Lwt_react.signal ->
    'Lwt_react.signal -> 'Lwt_react.signal -> 'Lwt_react.signal Lwt.t
  val l6_s :
    ?eq:('-> '-> bool) ->
    ('-> '-> '-> '-> '-> '-> 'Lwt.t) ->
    'Lwt_react.signal ->
    'Lwt_react.signal ->
    'Lwt_react.signal ->
    'Lwt_react.signal ->
    'Lwt_react.signal -> 'Lwt_react.signal -> 'Lwt_react.signal Lwt.t
  val run_s :
    ?eq:('-> '-> bool) ->
    'Lwt.t Lwt_react.signal -> 'Lwt_react.signal Lwt.t
end