dedukti

The Dedukti logical framework
IN THIS PACKAGE
Module Errors
val errors_in_snf : bool ref
val color : bool ref
val fail : Basic.loc -> ( 'a, Format.formatter, unit, 'b ) format4 -> 'a
val success : ( 'a, Format.formatter, unit ) format -> 'a
val fail_typing_error : Typing.typing_error -> 'a
val fail_signature_error : Signature.signature_error -> 'a
val fail_env_error : Env.env_error -> 'a
val fail_dtree_error : Dtree.dtree_error -> 'a