path: root/cmdline.ml

open Ast

type cmdline_opt = {
    widen_delay       : int;
    disjunct          : (id -> bool);
    verbose_ci        : bool;
    vverbose_ci       : bool;
}