package dedukti

  1. Overview
  2. Docs
val get_name : unit -> Kernel.Basic.mident

get_name get the current module defined for printing functions.

OCaml

Innovation. Community. Security.