Module Script.DirectiveSource

Sourcetype t =
  1. | Cut of Expr.t option
  2. | Assume of Expr.t
  3. | Assert of Expr.t
  4. | Reach of int * Expr.t option * Types.Output.t list
  5. | Enumerate of int * Expr.t