sig val is_polkagrid : 'a Apron.Abstract0.t -> bool val of_polkagrid : 'a PolkaGrid.t Apron.Abstract0.t -> 'b Apron.Abstract0.t val to_polkagrid : 'a Apron.Abstract0.t -> 'b PolkaGrid.t Apron.Abstract0.t end