package binsec

  1. Overview
  2. Docs

Module Dba.Unary_opSource

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

    result has size `size` *

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