Module

While not mentioned in Links' documentation, there is in fact a way to create modules in languages like Agda or its implementation OCaml. Below is a usage example.

module One {
  typename One = Int;
}

typename Two = One.One;

sig foo : (One.One) ~> One.One
fun foo (a) {
  a
}