Libraries.Synthesis.EuclideanDomain
class EuclideanDomain a
euclid_mod
euclid_div
euclid_gcd
extended_euclid
euclid_inverse
is_unit
inv_mod
rounddiv