This file is indexed.

/usr/lib/ocaml/apron/polkaGrid.ml is in libapron-ocaml-dev 0.9.10-7.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
(* File generated from polkaGrid.idl *)


(** Reduced product of NewPolka polyhedra and PPL grids *)

(** Type of abstract values, where ['a] is [Polka.loose] or [Polka.strict]. *)
type 'a t

external manager_alloc : 'a Polka.t Apron.Manager.t -> Ppl.grid Ppl.t Apron.Manager.t -> 'a t Apron.Manager.t
	= "camlidl_polkaGrid_ap_pkgrid_manager_alloc"

external manager_decompose : 'a t Apron.Manager.t -> 'a Polka.t Apron.Manager.t * Ppl.grid Ppl.t Apron.Manager.t
	= "camlidl_polkaGrid_ap_pkgrid_manager_decompose"

external decompose : 'a t Apron.Abstract0.t -> 'a Polka.t Apron.Abstract0.t * Ppl.grid Ppl.t Apron.Abstract0.t
	= "camlidl_polkaGrid_ap_pkgrid_decompose"

external compose : 'a t Apron.Manager.t -> 'a Polka.t Apron.Abstract0.t -> Ppl.grid Ppl.t Apron.Abstract0.t -> 'a t Apron.Abstract0.t
	= "camlidl_polkaGrid_ap_pkgrid_compose"


let manager_is_polkagrid man =
  let str = Apron.Manager.get_library man in
  let str =
    try String.sub str 0 9
    with Invalid_argument _ -> ""
  in
  (String.compare str "polkagrid")==0
let manager_of_polkagrid (man:'a t Apron.Manager.t) : 'b Apron.Manager.t = Obj.magic man
let manager_to_polkagrid (man:'a Apron.Manager.t) : 'b t Apron.Manager.t =
  if manager_is_polkagrid man then
    Obj.magic man
  else
    failwith "PolkaGrid.to_polkagrid: the argument manager is not a polkagrid manager"

module Abstract0 = struct
  let is_polkagrid abs =
    manager_is_polkagrid (Apron.Abstract0.manager abs)
  let of_polkagrid (abs: 'a t Apron.Abstract0.t) : 'b Apron.Abstract0.t = Obj.magic abs
  let to_polkagrid (abs:'a Apron.Abstract0.t) : 'b t Apron.Abstract0.t =
    if is_polkagrid abs then
      Obj.magic abs
    else
      failwith "PolkaGrid.Abstract0.to_polkagrid: the argument value is not a polkagrid value"
end

module Abstract1 = struct
  let is_polkagrid abs =
    manager_is_polkagrid (Apron.Abstract1.manager abs)
  let of_polkagrid (abs: 'a t Apron.Abstract1.t) : 'b Apron.Abstract1.t = Obj.magic abs
  let to_polkagrid (abs:'a Apron.Abstract1.t) : 'b t Apron.Abstract1.t =
    if is_polkagrid abs then
      Obj.magic abs
    else
      failwith "PolkaGrid.Abstract1.to_polkagrid: the argument value is not a polkagrid value"
end