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
Sourceval of_z : Z.t -> int -> term
Sourceval neg : term -> term
Sourceval lognot : term -> term
Sourceval to_int : signed:bool -> term -> term
Sourceval add : term -> term -> term
Sourceval sub : term -> term -> term
Sourceval 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 smod : 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 nego : term -> term
Sourceval addo : signed:bool -> term -> term -> term
Sourceval subo : signed:bool -> term -> term -> term
Sourceval mulo : signed:bool -> term -> term -> term
Sourceval divo : 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
Sourceval concat : term -> term -> term
Sourceval extract : term -> high:int -> low:int -> term
Sourceval zero_extend : int -> term -> term
Sourceval sign_extend : int -> term -> term