Lines Matching defs:double_type
558 (** [double_type c] returns the IEEE 64-bit floating point type in the context560 val double_type : llcontext -> lltype