package codex

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

Module Binary.Binary_ForwardSource

Sourceval beq : size:'a -> 'b -> 'c -> 'd
Sourceval biule : size:'a -> 'b -> 'c -> 'd
Sourceval bisle : size:'a -> 'b -> 'c -> 'd
Sourceval bitimes : size:'a -> 'b -> 'c -> 'd
Sourceval biadd : size:'a -> flags:'b -> 'c -> 'd -> 'e
Sourceval bisub : size:'a -> flags:'b -> 'c -> 'd -> 'e
Sourceval bimul : size:'a -> flags:'b -> 'c -> 'd -> 'e
Sourceval bxor : size:'a -> 'b -> 'c -> 'd
Sourceval band : size:'a -> 'b -> 'c -> 'd
Sourceval bor : size:'a -> 'b -> 'c -> 'd
Sourceval nondet : size:'a -> 'b -> 'c
Sourceval assume : size:'a -> 'b -> 'c -> 'd
Sourceval bsext : size:'a -> oldsize:'b -> 'c -> 'd
Sourceval buext : size:'a -> oldsize:'b -> 'c -> 'd
Sourceval bofbool : size:'a -> 'b -> 'c
Sourceval bchoose : size:'a -> 'b -> 'c -> 'd
Sourceval bashr : size:'a -> 'b -> 'c -> 'd
Sourceval blshr : size:'a -> 'b -> 'c -> 'd
Sourceval bshl : size:'a -> flags:'b -> 'c -> 'd -> 'e
Sourceval bisdiv : size:'a -> 'b -> 'c -> 'd
Sourceval biudiv : size:'a -> 'b -> 'c -> 'd
Sourceval bconcat : size1:'a -> size2:'b -> 'c -> 'd -> 'e
Sourceval bismod : size:'a -> 'b -> 'c -> 'd
Sourceval biumod : size:'a -> 'b -> 'c -> 'd
Sourceval bextract : size:'a -> index:'b -> oldsize:'c -> 'd -> 'e
Sourceval valid : size:'a -> 'b -> 'c
Sourceval valid_ptr_arith : size:'a -> 'b -> 'c
Sourceval bunknown : size:'a -> 'b -> 'c
Sourceval baddr : size:'a -> 'b -> 'c
Sourceval biconst : size:'a -> 'b -> 'c
Sourceval buninit : size:'a -> 'b -> 'c
Sourceval bshift : size:'a -> offset:'b -> max:'c -> 'd -> 'e
Sourceval bindex : size:'a -> 'b -> 'c