Module Dolmen_model.Value

Type definitions

************************************************************************

type t
type 'a ops
type any_ops =
  1. | Ops : _ ops -> any_ops
exception Extraction_failed of t * any_ops
val mk : ops:'a ops -> 'a -> t
val extract : ops:'a ops -> t -> 'a option
val extract_exn : ops:'a ops -> t -> 'a
val abstract_cst : Dolmen.Std.Expr.Term.Const.t -> t

Custom operations

************************************************************************

val ops : ?abstract:'a -> compare:('a -> 'a -> int) -> print:(Stdlib.Format.formatter -> 'a -> unit) -> unit -> 'a ops
val print : Stdlib.Format.formatter -> t -> unit
val compare : t -> t -> int

Sets and Maps

************************************************************************

module Set : Stdlib.Set.S with type elt = t
module Map : Stdlib.Map.S with type key = t