electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
Module Libelectrod . Name
type t
val name : string -> t

Constructors

val dummy : unit -> t

Returns a dummy name. This function is only here for some computations that raise new relations and hence need a temporary, dummy name.

val of_raw_ident : Raw_ident.t -> t
val univ : t

Reserved name for 'univ' and 'iden'.

val iden : t
val equal : t -> t -> bool

Tells whether two names are the same

val compare : t -> t -> int
val hash : t -> int
val style : Fmt.style
include Intf.Print.S with type t := t
val pp : t Fmtc.t
val to_string : t -> string
module Map : CCMap.S with type key = t