pragma constructor

const pragma(String name, [ Object options ])

Creates a hint named name with optional options.

Implementation

const factory pragma(String name, [Object options]) = pragma._;