Module Truth.False

type t =
| False