Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package dedukti
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Ac : sig ... endmodule Basic : sig ... endBasic Datatypes
module Confluence : sig ... endConfluence checker
module Dtree : sig ... endmodule Exsubst : sig ... endmodule Matching : sig ... endmodule Reduction : sig ... endmodule Rule : sig ... endRewrite rules
module Signature : sig ... endGlobal Environment
module Srcheck : sig ... endmodule Subst : sig ... endSubstitutions using DeBruijn indices.
module Term : sig ... endLambda terms
module Typing : sig ... endType checking/inference
module Version : sig ... endDedukti's current version.