package universo

  1. Overview
  2. Docs
module B = Kernel.Basic
module L = Common.Logic
module U = Common.Universes
module ZA = Z3.Arithmetic
module ZB = Z3.Boolean
module ZI = ZA.Integer
module Make (Spec : L.LRA_SPECIFICATION) : sig ... end