Recipe.SVar
type 'a same = 'a
val smap : f:( var -> Signal.t ) -> var same -> Signal.t same
val szip : var same -> Signal.t same -> (var * Signal.t) Base.list
val new_var : Base.unit -> var same t
val read : var same -> Signal.t same t
val rewrite : ( Signal.t same -> Signal.t same ) -> var same -> var same -> Base.unit t
val apply : f:( Signal.t same -> Signal.t same ) -> var same -> Base.unit t
val set : var same -> Signal.t same -> Base.unit t
val if_ : ( Signal.t same -> Signal.t ) -> var same -> then_:'a t -> else_:'b t -> Base.unit t
val while_ : ( Signal.t same -> Signal.t ) -> var same -> do_:'a t -> 'a t