module Calf.Value.Bool where

open import Calf.Value
open import Cubical.Data.Bool public