私有

Marks a declaration as module-private (the default tier).

Aliases: private

Syntax: @ privata <declaration>

Category#

modifier

Related#

• 公開
• 匯入

Examples#

radix/corpus/privata/privata.fab (canonical · keyword)#

Marks a declaration as module-private (the default tier).

# =============================================================================
# privata — Marks a declaration as module-private (the default tier).
# =============================================================================
#
# What this teaches:
#   • Module-level visibility — `@ privata` (en spelling `@ private`) restricts
#     a declaration to the current module, keeping it out of the importable
#     surface
#   • Used as an annotation (`@ privata`) on function declarations to control
#     the module boundary; unmarked declarations are module-private by default
#
# Common mistakes:
#   • Expecting `@ privata` to mean anything beyond module-private — it is an
#     explicit marker for the default tier (accepted, no warning).
#
# See also: publica, importa
# =============================================================================

# @ privata marks a declaration as private metadata
#
# Annotations attach visibility metadata to the following declaration.
#
# GRAMMAR:
#   annotatedDecl :← '@' 'privata' funcDecl
#
# EXPECTED OUTPUT:
#   privata

@ private
fn privatum() → string {
    return "privata"
}

main {
    print privatum()
}

Expected output:

privata