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