value
  | True = "True"
  | False = "False"