Module Builtin.ExtractSource

Sourceval zero : Util.Source.region -> 'a list -> unit
Sourceval one : Util.Source.region -> 'a list -> 'a
Sourceval two : Util.Source.region -> 'a list -> 'a * 'a
Sourceval three : Util.Source.region -> 'a list -> 'a * 'a * 'a
Sourceval four : Util.Source.region -> 'a list -> 'a * 'a * 'a * 'a