LimStyle.dfn

You're seeing just the macro dfn, go back to LimStyle module for more information.
Link to this macro

dfn(arg)

(macro)
Link to this macro

dfn(arg1, arg2)

(macro)

Example

dfn func = (arg -> 
  :number
), if (is_number(arg))
dfn func = (arg -> 
  :list
), if (is_list(arg))