Module Domains.Loop_domain

module Log : Tracelog.S

module TC = Operator.Function_symbol

module In_bits = Units.In_bits

val index_size : In_bits.t

module Make (Terms : Terms.Sig.TERMS) (Sub : Sig.BASE with type binary = TC.binary Terms.t and type boolean = TC.boolean Terms.t and type enum = TC.enum Terms.t) : Sig.BASE