Goblint_lib.RatOps
module type RatOps = sig ... end
Abstracts the functions of the Mpqf module for rationals from Apron that implements multi-precision rationals. One could later exchange "Mpqf" with a different module that provides the functions specified by this interface.
module ConvenienceOps (A : RatOps) : sig ... end
It provides more readable infix operators for the functions of RatOps. It is designed to be included by modules that make use of RatOps's functions.