Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package bap-core-theory
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Sorts of bitvectors
val define : int -> 'a t Value.sortdefine size defines a sort of bitvectors of the given size.
val refine : unit Value.sort -> 'a t Value.sort optionrefine s if s is a bitvector sort, then restores its type.
val size : 'a t Value.sort -> intsize s the size argument of s.