Module Apron.Policy

module Policy: sig .. end

type 'a man 

type 'a t 

val manager_get_manager : 'a man -> 'a Apron.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