package apron

  1. Overview
  2. Docs
type 'a t
val manager_is_polkagrid : 'a Apron.Manager.t -> bool
val manager_of_polkagrid : 'a t Apron.Manager.t -> 'b Apron.Manager.t
val manager_to_polkagrid : 'a Apron.Manager.t -> 'b t Apron.Manager.t
module Abstract0 : sig ... end
module Abstract1 : sig ... end
OCaml

Innovation. Community. Security.