module type SYM_REF = sig

  type 'a t

  type 'a obs

  val cell : Cell.t -> 'a t

  val range : Cell.t -> Cell.t -> 'a t

  val observe : 'a t -> 'a obs
end