package bitwuzla
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type 'a t = 'a sort
A sort of 'a
kind.
fp exp_size size
create a floating-point sort of given size with exp_size
exponent bits.
val hash : 'a t -> int
hash sort
compute the hash value for a sort.
val pp : Format.formatter -> 'a t -> unit
pp formatter sort
pretty print sort.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>