Searched defs:float (Results 1 - 2 of 2) sorted by path
/seL4-l4v-10.1.1/HOL4/src/floating-point/ | ||
H A D | binary_ieeeLib.sml | 111 datatype float = posInf | negInf | Float of bool * Arbnum.num * Arbnum.num type |
H A D | machine_ieeeLib.sml | 54 val float = value |
Completed in 57 milliseconds