Повторно использовать и расширить определенный тип в Ocaml

Есть ли в Ocaml простая конструкция / стиль для расширения определенного типа?

Скажем, если у нас есть логический тип

bool2 = True | False 

Теперь мы хотим расширить его для 3-значной логики. Есть ли в Ocaml более элегантный способ, чем переопределение bool2 следующим образом:

bool3 = True | False | ThirdOne