Module Jst.Mode


module Mode: sig  end
Proof Mode


type t =
| No
| Dep

val of_string : string -> t
Parameters:
? : string
val to_string : t -> string
Parameters:
? : t
val is_none : unit -> bool
Parameters:
() : unit
val get : unit -> t
Parameters:
() : unit
val set : t -> unit
Parameters:
? : t