(* This module is the public interface and corresponds to public_name in dune *)
module Partition = Partition
module Partition0 = Partition0
module Partition1 = Partition1
module Partition2 = Partition2
module Partition3 = Partition3