package dedukti

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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