Module Soteria_c_lib.Identifier

type t = Cerb_frontend.Symbol.identifier
val to_string : Cerb_frontend.Symbol.identifier -> string
val compare : Cerb_frontend.Symbol.identifier -> Cerb_frontend.Symbol.identifier -> int
val equal : Cerb_frontend.Symbol.identifier -> Cerb_frontend.Symbol.identifier -> bool