package dedukti

  1. Overview
  2. Docs
module Dep : sig ... end
module Env : sig ... end
module Errors : sig ... end

Errors handling

module Files : sig ... end
module Meta : sig ... end
module Pp : sig ... end
module Processor : sig ... end

A process module processes entries. It is parameterized by an environment.