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 Stdlib.ref

val color : bool Stdlib.ref

val fail : 
  Basic.loc ->
  ('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 ->
  'a

val success : ('a, Stdlib.Format.formatter, unit) Stdlib.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