sig   type 'a t = 'Note.signal   type 'a set = ?step:Note.Step.t -> '-> unit   val obs : 'Note.S.t -> 'Note.Logr.obs   val log : ?now:bool -> 'Note.signal -> ('-> unit) -> Note.Logr.t   val create : ?eq:('-> '-> bool) -> '-> 'Note.signal * 'Note.S.set   val eq : 'Note.signal -> '-> '-> bool   val with_eq : ('-> '-> bool) -> 'Note.signal -> 'Note.signal   val value : 'Note.signal -> 'a   val rough_value : 'Note.signal -> 'a   val const : ?eq:('-> '-> bool) -> '-> 'Note.signal   val hold : ?eq:('-> '-> bool) -> '-> 'Note.event -> 'Note.signal   val bind : 'Note.signal -> ('-> 'Note.signal) -> 'Note.signal   val join : 'Note.signal Note.signal -> 'Note.signal   val swap : 'Note.signal -> 'Note.signal Note.event -> 'Note.signal   val changes : 'Note.signal -> 'Note.event   val map :     ?eq:('-> '-> bool) -> ('-> 'b) -> 'Note.signal -> 'Note.signal   val app :     ?eq:('-> '-> bool) ->     ('-> 'b) Note.signal -> 'Note.signal -> 'Note.signal   val sample :     'Note.signal -> on:'Note.event -> ('-> '-> 'c) -> 'Note.event   val sample_filter :     'Note.signal ->     on:'Note.event -> ('-> '-> 'c option) -> 'Note.event   val snapshot : 'Note.signal -> on:'Note.event -> 'Note.event   val accum :     ?eq:('-> '-> bool) -> '-> ('-> 'a) Note.event -> 'Note.signal   val until :     ?limit:bool ->     ?init:'-> next:'Note.event -> 'Note.signal -> 'Note.signal   val delay : '-> 'Note.signal Lazy.t -> 'Note.signal   val fix : '-> ('Note.signal -> 'Note.signal * 'b) -> 'b   val l1 :     ?eq:('-> '-> bool) -> ('-> 'b) -> 'Note.signal -> 'Note.signal   val l2 :     ?eq:('-> '-> bool) ->     ('-> '-> 'c) -> 'Note.signal -> 'Note.signal -> 'Note.signal   val l3 :     ?eq:('-> '-> bool) ->     ('-> '-> '-> 'd) ->     'Note.signal -> 'Note.signal -> 'Note.signal -> 'Note.signal   module Bool :     sig       val false' : bool Note.signal       val true' : bool Note.signal       val not : bool Note.signal -> bool Note.signal       val ( && ) : bool Note.signal -> bool Note.signal -> bool Note.signal       val ( || ) : bool Note.signal -> bool Note.signal -> bool Note.signal       val edge : bool Note.signal -> bool Note.event       val rise : bool Note.signal -> unit Note.event       val fall : bool Note.signal -> unit Note.event       val flip : init:bool -> 'Note.event -> bool Note.signal     end   module Option :     sig       val eq : ('-> '-> bool) -> 'a option -> 'a option -> bool       val none : 'a option Note.signal       val some : 'Note.signal -> 'a option Note.signal       val value :         'a option Note.signal -> default:'Note.signal -> 'Note.signal       val bind :         'a option Note.signal -> ('-> 'b option) -> 'b option Note.signal       val hold_value : '-> 'a option Note.signal -> 'Note.signal     end   module Pair :     sig       val fst : ('a * 'b) Note.signal -> 'Note.signal       val snd : ('a * 'b) Note.signal -> 'Note.signal       val v : 'Note.signal -> 'Note.signal -> ('a * 'b) Note.signal     end   val dump_src_ids : Format.formatter -> 'Note.signal -> unit end