package codex

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

Module With_Noop.Integer_BackwardSource

Sourceval ieq0 : 'a -> 'b -> 'c option
Sourceval ige0 : 'a -> 'b -> 'c option
Sourceval itimes : 'a -> 'b -> 'c option
Sourceval iadd : 'a -> 'b -> 'c -> 'd option * 'e option
Sourceval imul : 'a -> 'b -> 'c -> 'd option * 'e option
Sourceval idiv : 'a -> 'b -> 'c -> 'd option * 'e option
Sourceval imod : 'a -> 'b -> 'c -> 'd option * 'e option
Sourceval ishl : 'a -> 'b -> 'c -> 'd option * 'e option
Sourceval ishr : 'a -> 'b -> 'c -> 'd option * 'e option
Sourceval assume : 'a -> 'b -> 'c -> 'd option * 'e option