fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.
Fuzion • Library Modules • base • fuzion • runtime • precondition_fault

precondition_fault

fuzion.runtime.precondition_fault

precondition_fault
(
msg String
)
 => 
void
[src]
cause a precondition fault with given msg argument, i.e., call
fuzion.runtime.pre_fault.env.cause msg, i.e., use the current pre_fault effect
to fail with the given message.

Arguments

msg
 String
[src]
0.099dev (GIT hash a35e75388cc5c7a861f5c2a3f42d121e3aab582a)
last changed: 2026-11-03