Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package coq-waterproof
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type wexn = | CastError of string(*Indicates that a cast made by the FFI has failed
*)| FailedAutomation of string(*Indicates that the automatic solver called has failed
*)| FailedTest of string(*Indicates that the running test has failed
*)| NonExistingDataset of Hints.hint_db_name(*Indicates that the user tried to import a non-existing hint dataset
*)| UnusedLemmas(*Indicates that no proof using all the given lemmas has been found
*)
Type of exceptions used in Wateproof
val throw : ?info:Exninfo.info -> wexn -> 'aThrows an error with given info and message