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