Module Compiler.IntervalTreeSource

Sourcetype 'a t
Sourceval find : Elpi_parser.Ast.Loc.t -> 'a t -> (Elpi_parser.Ast.Loc.t * 'a) list
Sourceval pp : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit