package alt-ergo-lib

  1. Overview
  2. Docs
package alt-ergo-lib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module AltErgoLib.NumsNumbersSource

Sourcemodule Z : NumbersInterface.ZSig with type t = Big_int.big_int

Integers implementation. Based on big_int *

Sourcemodule Q : NumbersInterface.QSig with module Z = Z

Rationals implementation. Based on nums *