[][src]Type Definition warp10::Double

type Double = f64;