Module Rand_tropical_lia_1000.S

type comparator_witness
val zero : t
val one : t
val rand : ?non_zero:Base.float -> ?max:Base.int -> Base.unit -> t
val add : t -> t -> t
val mul : t -> t -> t
val elements : Base.unit -> t Base.list
module SMT : sig ... end
val compare : t -> t -> Base.int
val equal : t -> t -> Base.bool
val hash : t -> Base.int
val hash_fold_t : Base.Hash.state -> t -> Base.Hash.state
val to_string : t -> Base.string
val sexp_of_t : t -> Base.Sexp.t