package binsec

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

Module Dba.Unary_op

type t =
  1. | UMinus
  2. | Not
  3. | Sext of size
    (*

    result has size `size` *

    *)
  4. | Uext of size
  5. | Restrict of int Interval.t