package codex

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

Module With_Noop.Binary_BackwardSource

Sourceval beq : 'a -> 'b -> 'c -> 'd option * 'e option
Sourceval biult : 'a -> 'b -> 'c -> 'd option * 'e option
Sourceval biule : 'a -> 'b -> 'c -> 'd option * 'e option
Sourceval bislt : 'a -> 'b -> 'c -> 'd option * 'e option
Sourceval bisle : 'a -> 'b -> 'c -> 'd option * 'e option
Sourceval bitimes : 'a -> 'b -> 'c -> 'd option
Sourceval biadd : 'a -> 'b -> 'c -> 'd option * 'e option
Sourceval bimul : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option
Sourceval bxor : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option
Sourceval band : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option
Sourceval bor : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option
Sourceval nondet : size:'a -> 'b list -> 'c -> 'd option list
Sourceval assume : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option
Sourceval bsext : size:'a -> 'b -> 'c -> 'd option
Sourceval buext : size:'a -> 'b -> 'c -> 'd option
Sourceval bashr : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option
Sourceval blshr : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option
Sourceval bshl : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option
Sourceval bisdiv : 'a -> 'b -> 'c -> 'd option * 'e option
Sourceval bconcat : 'a list -> 'b -> 'c option list
Sourceval bismod : 'a -> 'b -> 'c -> 'd option * 'e option
Sourceval bextract : size:'a -> index:'b -> 'c -> 'd -> 'e option
Sourceval valid : size:'a -> 'b -> 'c -> 'd option