package codex

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

Module Sig.Convert_Binary_ForwardSource

Parameters

module D : With_Binary_Forward with module Context = C.To

Signature

Sourcemodule C : sig ... end
Sourcemodule F : sig ... end
include sig ... end
Sourcetype binary = F.binary
Sourcetype boolean = F.boolean
Sourceval valid : size:Units.In_bits.t -> Operator__Operator_sig.access_type -> (binary, boolean) C.To_Arity.ar1
Sourceval valid_ptr_arith : size:Units.In_bits.t -> Operator__Operator_sig.arith_type -> (binary, binary, boolean) C.To_Arity.ar2
Sourceval bshift : size:Units.In_bits.t -> offset:int -> max:int option -> (binary, binary) C.To_Arity.ar1
Sourceval bindex : size:Units.In_bits.t -> int -> (binary, binary, binary) C.To_Arity.ar2
Sourceval bchoose : size:Units.In_bits.t -> int -> (binary, binary) C.To_Arity.ar1