###############################################################################
# Interpreting Boolean operator names into the OpenTheory standard namespace
###############################################################################

# Data

# Data.Bool

const "!" as "Data.Bool.!"
const "/\\" as "Data.Bool./\\"
const "==>" as "Data.Bool.==>"
const "?" as "Data.Bool.?"
const "?!" as "Data.Bool.?!"
const "F" as "Data.Bool.F"
const "T" as "Data.Bool.T"
const "\\/" as "Data.Bool.\\/"
const "cond" as "Data.Bool.cond"
const "~" as "Data.Bool.~"