Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package bap-elementary
Module Bap_elementary
module Elementary (Theory : Bap_core_theory.Theory.Core) : sig ... endElementary is a library that provides few primitives for approximations of floating point operations via table methods.