We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent aa29aa2 commit e668f67Copy full SHA for e668f67
src/cdomain/value/cdomains/int/intDomTuple.ml
@@ -38,7 +38,6 @@ module IntDomTupleImpl = struct
38
39
(* only first-order polymorphism on functions -> use records to get around monomorphism restriction on arguments *)
40
type 'b poly_in = { fi : 'a. 'a m -> 'b -> 'a } [@@unboxed] (* inject *)
41
- type 'b poly_in_bitfield = { fi_bitfield : 'a. 'a m -> ?bitfield:int -> 'b -> 'a } [@@unboxed] (* inject *)
42
type 'b poly2_in = { fi2 : 'a. 'a m2 -> 'b -> 'a } [@@unboxed] (* inject for functions that depend on int_t *)
43
type 'b poly2_in_ovc = { fi2_ovc : 'a. 'a m2 -> 'b -> 'a * overflow_info} [@@unboxed] (* inject for functions that depend on int_t *)
44
0 commit comments