Data.S_range
Symbolic abstractions over ranges.
module Make (Symex : Symex.Base) (S_bool : S_bool.S(Symex).S) (S_int : S_int.S(Symex)(S_bool).S) : sig ... end