Module type Cell_like.S

Cell interface.

val immutable : bool

If true the cell is immutable and using set raises Invalid_argument.

type t

The type for cells.

type contents

The type for contents of the cells.

val make : contents -> t

make v is a cell holding value v.

val get : t -> contents

get c is the value of c.

val set : t -> contents -> unit

set c v sets the value of c to v.

  • raises Invalid_argument

    if immutable is true.

val pp_applied_name : Stdlib.Format.formatter -> unit -> unit

pp_applied_name formats an applied name for the cell.