Up – goblint » Goblint_lib » ApronDomain » Bounds

Module `ApronDomain.Bounds`

Parameters
Signature

Parameters

module Man : Manager

Signature

type t = Man.mt A.t

val bound_texpr : Man.mt A.t -> Apron.Texpr1.t -> Z.t option * Z.t option