Module Identifier.Value

type t
val dot : Module.t -> string -> t
val var : Var.Value.t -> Loc.t -> t