Module type Sig.Integer_Query

type abstract_state

module Integer_Lattice : Integer_Lattice

type integer

val query : abstract_state -> integer -> Integer_Lattice.t