Module `AltErgoLib.Intervals_core`

This module implements union of intervals with explanations. See the Intervals_intf.Core signature.

module Make
  (Ex : Intervals_intf.Explanations) : 
  Intervals_intf.Core with type explanation = Ex.t