package hardcaml_circuits

  1. Overview
  2. Docs
package hardcaml_circuits
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Hardcaml_circuits.ModuloSource

Calculate x % y where x >= 0 and y > 0.

If y is a power of 2, then a fast path calculation is performed that just does a select. Otherwise, a much (much) more complex circuit is generated.

Sourceval unsigned_by_constant : (module Hardcaml.Comb.S with type t = 'a) -> 'a -> int -> 'a