mirror of
https://github.com/powdr-labs/powdr.git
synced 2026-04-20 03:03:25 -04:00
8 lines
383 B
NASM
8 lines
383 B
NASM
/// This is a built-in function taking a string argument and printing it on stdout
|
|
/// when evaluated.
|
|
/// It returns an empty array so that it can be used at constraint level.
|
|
/// This symbol is not an empty array, the actual semantics are overridden.
|
|
let<T: ToString> print: T -> Constr[] = [];
|
|
|
|
let<T: ToString> println: T -> Constr[] = |msg| { let _ = print(msg); print("\n") };
|