package bap-elementary

  1. Overview
  2. Docs
package bap-elementary
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Elementary.Scheme

module contains naming schemes for different math functions

type 'a t = 'a Bap_core_theory.Theory.Value.sort -> int -> string
val pow : 'a t
val compound : 'a t
val rootn : 'a t
val pown : 'a t
val rsqrt : 'a t
val hypot : 'a t
val exp : 'a t
val expm1 : 'a t
val exp2 : 'a t
val exp2m1 : 'a t
val exp10 : 'a t
val exp10m1 : 'a t
val log : 'a t
val log2 : 'a t
val log10 : 'a t
val logp1 : 'a t
val log2p1 : 'a t
val log10p1 : 'a t
val sin : 'a t
val cos : 'a t
val tan : 'a t
val sinpi : 'a t
val cospi : 'a t
val atanpi : 'a t
val atan2pi : 'a t
val asin : 'a t
val acos : 'a t
val atan : 'a t
val atan2 : 'a t
val sinh : 'a t
val cosh : 'a t
val tanh : 'a t
val asinh : 'a t
val acosh : 'a t
val atanh : 'a t