module static;

op minus(int, int) -> int;

module general_kenobi {
const CONSTANT: int;

/// Returns a string where "hello there" is repeated `n` times.
fn hello_there(n: int) -> String;
}

let hello_there: string;

const HELLO: string;
