Module IntDomTuple

module IntDomTupleImpl : sig ... end
module IntDomTuple : sig ... end
val of_const : (IntDomTupleImpl.int_t * GoblintCil.Cil.ikind * 'a) -> IntDomTuple.t