package smtml

  1. Overview
  2. Docs
package smtml
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module DolmenIntf.RealSource

Sourceval neg : term -> term
Sourceval to_int : term -> term
Sourceval add : term -> term -> term
Sourceval sub : term -> term -> term
Sourceval mul : term -> term -> term
Sourceval div : term -> term -> term
Sourceval pow : term -> term -> term
Sourceval lt : term -> term -> term
Sourceval le : term -> term -> term
Sourceval gt : term -> term -> term
Sourceval ge : term -> term -> term