Module Symbol_std.SELF

type t = Cerb_frontend.Symbol.sym
val equal : Cerb_frontend.Symbol.sym -> Cerb_frontend.Symbol.sym -> bool
val compare : Cerb_frontend.Symbol.sym -> Cerb_frontend.Symbol.sym -> int
val hash : 'a -> int
val show : Cerb_frontend.Symbol.sym -> string
val pp : Cerb_frontend.Symbol.sym Fmt.t