Vertex (astral.Astral_internal.BaseLogic.Vertex)

type t =
  Application.t Stdlib.Option.t
  * Stdlib.Int.t Stdlib.Option.t
  * Stdlib.String.t

val compare : t -> t -> int

val equal : t -> t -> bool

val hash : 'a -> int

val show : ('a * 'b * 'c) -> 'c

val show_full : ('a * int option * string) -> string

val app : ('a * 'b * 'c) -> 'a