package smtml

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

Module DolmenIntf.BitvSource

Sourceval v : string -> int -> term
val neg : term -> term
Sourceval lognot : term -> term
val add : term -> term -> term
val sub : term -> term -> term
val mul : term -> term -> term
Sourceval div : term -> term -> term
Sourceval div_u : term -> term -> term
Sourceval logor : term -> term -> term
Sourceval logand : term -> term -> term
Sourceval logxor : term -> term -> term
Sourceval shl : term -> term -> term
Sourceval ashr : term -> term -> term
Sourceval lshr : term -> term -> term
Sourceval rem : term -> term -> term
Sourceval rem_u : term -> term -> term
Sourceval rotate_left : term -> term -> term
Sourceval rotate_right : term -> term -> term
Sourceval lt : term -> term -> term
Sourceval lt_u : term -> term -> term
Sourceval le : term -> term -> term
Sourceval le_u : term -> term -> term
Sourceval gt : term -> term -> term
Sourceval gt_u : term -> term -> term
Sourceval ge : term -> term -> term
Sourceval ge_u : term -> term -> term
val concat : term -> term -> term
Sourceval extract : term -> high:int -> low:int -> term
val zero_extend : int -> term -> term
val sign_extend : int -> term -> term