cmdline.ml


1
2
3
4
5
6
7
8

open Ast

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