Defun is an applicative binding of Elisp defun.
Defun
defun
It does for Elisp what Command does for the command line.
Command
module type Open_on_rhs : sig ... end
module type Defun : sig ... end