src/expressions/sym_ref.ml


1
2
3
4
5
6
7
8
9
10
11
12

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