package bap-elementary

You can search for identifiers within the package.

in-package search v0.2.0

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