package alg_structs

  1. Overview
  2. Docs

Monoids over bool

module Or : S with type t = bool

op is (||) and unit is false ...

module And : S with type t = bool

op is (&&) and unit is true