pragma 构造器

const pragma(
  1. String name, [
  2. Object? options
])

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

实现

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