Module builtin_doc 

A module of documentation of built-in functions.

Functions

add_std_builtin_fun_doc

Adds the documentation of built-in functions to the root module of signature and the root module of documentation.