type bool =
True
| False
;;
let bool_rec =
(function p -> (function p1 -> (function b ->
(match b with
True -> p
| False -> p1)
)))
;;
let bool_rect =
(function p -> (function p1 -> (function b ->
(match b with
True -> p
| False -> p1)
)))
;;
let notb =
(function b ->
(match b with
True -> False
| False -> True)
)
;;
let andb =
(function b1 -> (function b2 ->
(match b1 with
True -> b2
| False -> False)
))
;;
let orb =
(function b1 -> (function b2 ->
(match b1 with
True -> True
| False -> b2)
))
;;