Module `Fang_vm.Box`

Operations on temporary storage locations.

type t = box

val equal : t -> t -> bool: equal b1 b2 is true if b1 and b2 refer to the same box.

val compare : t -> t -> int: If equal b1 b2 is true then compare b1 b2 is 0. Otherwise, there exists a total order on boxes but it is unspecified.

val pp : t Fmt.t

Format a box.

The format is unspecified, but if equal b1 b2 is true then b1 and b2 will have the same textual representation. Otherwise, they will be distinguishable by humans.

module Set : Stdlib.Set.S with type Set.elt = box

module Map : Stdlib.Map.S with type Map.key = box