Module Goblint_lib.PrecisionUtil

type int_precision = bool * bool * bool * bool
type float_precision = bool
val max_int_precision : int_precision
val max_float_precision : float_precision
val int_precision_from_fundec : GoblintCil.fundec -> int_precision
val float_precision_from_fundec : GoblintCil.fundec -> float_precision
val int_precision_from_node : unit -> int_precision
val float_precision_from_node : unit -> float_precision
val int_precision_from_node_or_config : unit -> int_precision
val float_precision_from_node_or_config : unit -> float_precision