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