Module Domains.Domain_sig

module Quadrivalent = Lattices.Quadrivalent
module type Context = sig ... end
module Context_Arity_Forward (Context : Context) : sig ... end
module Monadic_Context (Context : Context) : sig ... end
module type With_Boolean_Forward = sig ... end
module type With_Integer_Forward = sig ... end
module type With_Binary_Forward = sig ... end
module type With_Memory_Forward = sig ... end
module type Integer_Lattice = Single_value_abstraction.Sig.Integer_Lattice
module type Binary_Lattice = Single_value_abstraction.Sig.Binary_Lattice
module type Memory_Lattice = Single_value_abstraction.Sig.Memory_Lattice
module type With_Integer_Queries = sig ... end
module type With_Queries = sig ... end
module type With_Types = sig ... end
module type With_Partitionning = sig ... end
module type With_Context = sig ... end
module type With_Assume = sig ... end
module type With_Nondet = sig ... end
module type With_Fixpoint_Computation = sig ... end
module Fresh_id : sig ... end
module type With_Id = sig ... end
module type With_Boolean = sig ... end
module type With_Integer = sig ... end
module type With_Binary = sig ... end
module type With_Memory = sig ... end
module type Minimal_No_Boolean = sig ... end

This signature is useful when we don't have any new flow-sensitive state and just need all the things on the top of the stack to stay the same.

module type Minimal = sig ... end

This signature does not have pre-built values, except booleans.

module type Base = sig ... end
module type Base_with_integer = sig ... end
module type Convert_Contexts = sig ... end
module Make_Convert (C : Convert_Contexts) : sig ... end
module Convert_Boolean_Forward (C : Convert_Contexts) (D : With_Boolean_Forward with module Context = C.To) : sig ... end
module Convert_Integer_Forward (C : Convert_Contexts) (D : With_Integer_Forward with module Context = C.To) : sig ... end
module Convert_Binary_Forward (C : Convert_Contexts) (D : With_Binary_Forward with module Context = C.To) : sig ... end
module Convert_Memory_Forward (C : Convert_Contexts) (D : With_Memory_Forward with module Context = C.To) : sig ... end
module Convert_to_monadic (D : Base) : sig ... end