Standard library - bool

module bool
  def _not : bool -> bool
  def and : bool -> bool -> bool
  def or : bool -> bool -> bool
  def toString : bool -> string
module end

Strictly speaking, these functions do not implement the Boolean logic but the Kleenean, with undefined as the unknown element (see https://en.wikipedia.org/wiki/Three-valued_logic).