package libsail

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

Module BvUtil.BoolList

val add_lsb : bool -> Big_int_Z.big_int option -> Big_int_Z.big_int option
val bits_to_N : bool list -> Big_int_Z.big_int option -> Big_int_Z.big_int
val to_Z_unsigned : bool list -> Big_int_Z.big_int option -> Big_int_Z.big_int
val prefix_size : Big_int_Z.big_int option -> Big_int_Z.big_int
val to_bv' : bool list -> Big_int_Z.big_int option -> Definitions.bv
val to_bv : bool list -> Definitions.bv