sig
  type t
  val to_string : Globular.T.t -> string
  val dim : Globular.T.t -> int
  val src : Globular.T.t -> Globular.T.t
  val tgt : Globular.T.t -> Globular.T.t
end