package lem

  1. Overview
  2. Docs
type bit =
  1. | Zero
  2. | One
val to_bool : bit -> bool
val bn : bit -> bit
val bor : bit -> bit -> bit
val xor : bit -> bit -> bit
val band : bit -> bit -> bit
val add : bit -> bit -> bit * bool