Module Abstraction.Simplified_valueSource

Simplified signature of a value abstraction.

Value domain

Sourcemodule type SIMPLIFIED_VALUE = sig ... end
Sourceval default_backward_unop : Core.All.operator -> Core.All.typ -> 't -> Core.All.typ -> 't -> 't

Some default transfer functions

Sourceval default_backward_binop : Core.All.operator -> Core.All.typ -> 't -> Core.All.typ -> 't -> Core.All.typ -> 't -> 't * 't
Sourceval default_filter : bool -> Core.All.typ -> 't -> 't
Sourceval default_compare : Core.All.operator -> bool -> Core.All.typ -> 't -> Core.All.typ -> 't -> 't * 't
Sourcemodule DefaultValueFunctions : sig ... end

Template module with default transfer functions

Functor to create a value abstraction from a simplified value abstraction

Registration

Sourceval register_simplified_value_abstraction : (module SIMPLIFIED_VALUE) -> unit

Register a new simplifed value domain