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
IEEE754 sorts.
val define : parameters -> (('b, 'e, 't) ieee754, 's) format Float.t Value.sortdefine p defines the IEEE754 format sort.
val exps :
(('b, 'e, 't) ieee754, 's) format Float.t Value.sort ->
'e Bitv.t Value.sortexps s is the sort of bitvectors for the exponent field.
val sigs :
(('b, 'e, 't) ieee754, 's) format Float.t Value.sort ->
't Bitv.t Value.sortsigs s is the sort of bitvectors for the significand field.
val bits :
(('b, 'e, 't) ieee754, 's) format Float.t Value.sort ->
's Bitv.t Value.sortbits s is the sort of bitvectors for the storage.
val spec : (('b, 'e, 't) ieee754, 's) format Float.t Value.sort -> parametersspec s is the encoding parameters of the sort s.