sig
type mink = [ `Auto | `Bwd | `Dicho | `FrontierDicho | `Fwd | `No ]
type mininvs = [ `Easy | `Hard | `HardOnly | `Medium | `MediumOnly ]
val certif : unit -> bool
val proof : unit -> bool
val abstr : unit -> bool
val log_trust : unit -> bool
val mink : unit -> Flags.Certif.mink
val mininvs : unit -> Flags.Certif.mininvs
val jkind_bin : unit -> string
val only_user_candidates : unit -> bool
end