Module Soteria.Tiny_values

Minimal natural integer based values. Suitable for toy examples.

module Analyses : sig ... end
module Encoding : sig ... end
module Eval : sig ... end
module Save_counter : sig ... end
module Svalue : sig ... end
module Tiny_solver : sig ... end
module Typed : sig ... end