2022-07-29 07:39:51 +02:00
|
|
|
module static;
|
|
|
|
|
|
|
|
op minus(int, int) -> int;
|
|
|
|
|
|
|
|
module general_kenobi {
|
2022-09-08 04:53:55 +02:00
|
|
|
const CONSTANT: int;
|
|
|
|
|
2022-07-29 07:39:51 +02:00
|
|
|
/// Returns a string where "hello there" is repeated `n` times.
|
|
|
|
fn hello_there(n: int) -> String;
|
|
|
|
}
|
|
|
|
|
2022-09-08 04:53:55 +02:00
|
|
|
let hello_there: string;
|
|
|
|
|
|
|
|
const HELLO: string;
|