dedukti.api
Make.S
dedukti.kernel
dedukti.parsers
val get_name : unit -> Kernel.Basic.mident
get_name get the current module defined for printing functions.
get_name