构造器声明

const 构造器(
  1. String name,
  2. [Object? options]
)

创建一个名为 name 的提示，具有可选的 options。

实现

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