Module Make.Section

module Acc : sig ... end
type t
val empty : t
val disjoint_union_exn : t -> t -> t Impl.Checked.t
val extend : t -> Impl.Boolean.var Tuple_lib.Triple.t list -> start:int -> t Impl.Checked.t
val support : t -> Interval_union.t
val create : acc:Acc.t -> support:Interval_union.t -> t
val to_initial_segment_digest : t -> (Digest.var * [ `Length_in_triples of int ]) Core_kernel.Or_error.t
val to_initial_segment_digest_exn : t -> Digest.var * [ `Length_in_triples of int ]