FunctionDeclaration can be used in FunctionCompile:

The compilation uses the function declaration:

FunctionDeclaration can be used to add a definition to the default compiler environment:

Use the declaration in a compilation:

The compilation uses the function declaration:

Reset the compiler environment to clear the declaration:

FunctionDeclaration can be used to add a definition to a new compiler environment:

Use the CompilerEnvironment option to specify the environment:

A function name can be used in more than one declaration:

Call one version:

Call the other version:

Reset the compiler environment to clear the declaration:

A function declaration can call another declaration:

Compilation uses both declarations:

A function declaration can work for more than one type:

The declaration works for an integer argument:

The same declaration works for a string:

A function declaration can use definitions that use := to set up DownValues for their declarations:

Give the function a name and a type and state that the implementation comes from the DownValues:

Now a function that uses this declaration is compiled:

What is neat is that this workflow is compatible with the uncompiled version: