close_more : bool;
dont_cache_failures: bool;
do_types: bool;
+ skip_trie_filtering: bool;
+ skip_context: bool;
}
let default_flags _ =
close_more=false;
dont_cache_failures=false;
do_types=false;
+ skip_trie_filtering=false;
+ skip_context=false;
}
;;