Module Truth.True

type t =
| True