Module `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