prover.mli

(**************************************************************************)
(*                                                                        *)
(*  This file is part of CAISAR.                                          *)
(*                                                                        *)
(**************************************************************************)

type t

val list_available : unit -> t list
val of_string : string -> t option
val to_string : t -> string