Module Dolmen_model.Value

Type definitions

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

type t
type 'a ops
type any_ops =
| 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