type$double top-level constant

String const type$double

Implementation

const type$double = r'$numberDouble';