package smtml

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

Module Bitv.I8

Bitvector operations for 8-bit integers.

val v : int -> t
val sym : string -> t
val (~-) : t -> t
val (=) : t -> t -> t
val (!=) : t -> t -> t
val (>) : t -> t -> t
val (>=) : t -> t -> t
val (<) : t -> t -> t
val (<=) : t -> t -> t