Module Stats.Make

Parameters

module Sub : sig ... end

Signature

type boolean = Lattices.Quadrivalent.t

type bitvector

module Bitvector_Forward : Operator.BITVECTOR_FORWARD_WITH_BIMUL_ADD with module Arity := Operator.Forward_Arity and type boolean := boolean and type bitvector := bitvector

module Bitvector_Backward : sig ... end

module Boolean_Forward : Operator.BOOLEAN_FORWARD with module Arity := Operator.Forward_Arity and type boolean := boolean

module Boolean_Backward : Operator.BOOLEAN_BACKWARD with module Arity := Operator.Backward_Arity and type boolean := boolean

module Boolean_Lattice : Lattices.Sig.BOOLEAN_LATTICE with type t = boolean

module Bitvector_Lattice : Lattices.Sig.BITVECTOR_LATTICE with type t = bitvector

type integer

module Integer_Forward : Operator.INTEGER_FORWARD with module Arity := Operator.Forward_Arity and type boolean := boolean and type integer := integer

module Integer_Backward : Operator.INTEGER_BACKWARD with module Arity := Operator.Backward_Arity and type boolean := boolean and type integer := integer

module Integer_Lattice : Lattices.Sig.INTEGER_LATTICE with type t = integer

val name : string

type enum

module Enum_Forward : Operator.ENUM_FORWARD with module Arity := Operator.Forward_Arity and type boolean := boolean and type enum := enum

module Enum_Backward : Operator.ENUM_BACKWARD with module Arity := Operator.Backward_Arity and type boolean := boolean and type enum := enum

module Enum_Lattice : Lattices.Sig.ENUM_LATTICE with type t = enum