Foreign functions and ambient authority

In a compiled language, external/foreign functions could be declared in modules. For example:

extern sin(n: Float64);

However, these functions would still only be accessible through the universe. For example:

fn main(uni) {
  uni.stdout.puts(
    uni.extern.sin(4)
  );
}