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