val colon_eq : unit -> string
val emptyset : unit -> string
val logical_and : unit -> string
val logical_or : unit -> string
val logical_not : unit -> string
val elem_of : unit -> string
val intersection : unit -> string
val microseconds : unit -> string
val bottom : unit -> string