Hints.Method
type t
=
|
Unroll of
{
steps : int option;
}
Ext_solver of
name : string;
Auto
Induct of Induct.t
val default : t
val print : t CCFormat.printer
val chash : t Imandra_util.Chash.hasher
val auto : t
val ext_solver : string -> t
val unroll : t
val unroll_with : int -> t
val induct : Induct.t -> t