Module Fc_internal_apron.Policy

type 'a man
and 'a t
val manager_get_manager : 'a man -> 'a Manager.t
val manager : 'a t -> 'a man
val copy : 'a man -> 'a t -> 'a t
val fdump : 'a man -> 'a t -> unit
val to_string : 'a man -> 'a t -> string
val dimension : 'a man -> 'a t -> int
val equal : 'a man -> 'a t -> 'a t -> bool
module Abstract0 : sig ... end
module Abstract1 : sig ... end