Module `Cduce_lib_js.Explain`

type t = (Cduce_core.Value.t * string) list

exception Failed of t

val print : Stdlib.Format.formatter -> t -> unit
val to_string : t -> string
val simplify : t -> t
val explain : Cduce_core.Auto_pat.state -> Cduce_core.Value.t -> t option
val check : Cduce_core.Auto_pat.state -> Cduce_core.Value.t -> unit: Same, but raise Failed.

val do_check : Cduce_core.Auto_pat.state -> Cduce_core.Value.t -> Cduce_core.Value.t: Same, but raise a CDuce exception.

val check_failure : Cduce_core.Auto_pat.state -> Cduce_core.Value.t -> Cduce_core.Value.t: Raise Failure ....