Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package bap-core-theory
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Sort describing the representation format of a floating point number.
val define : 'r Value.sort -> 's Bitv.t Value.sort -> ('r, 's) t Value.sortdefine r s defines a sort given interpretation r of bitvector s.
val bits : ('r, 's) t Value.sort -> 's Bitv.t Value.sortbits s returns the sort of bitvectors that are used by floating point numbers of sort s.
val exp : ('r, 's) t Value.sort -> 'r Value.sortexp s returns an expression that describes the interpretation of the bits of the floating point numbers represented by the sort s.