package why3find

  1. Overview
  2. Docs

Module Why3find.VcSource

Sourcetype kind =
  1. | Goal
  2. | When
  3. | WhenNot
Sourcetype chunk = {
  1. kind : kind;
  2. range : Why3findUtils.Range.range;
}
Sourceval chunks : file:string -> Why3.Task.task -> chunk list
Sourceval dump : file:string -> Why3.Task.task -> unit
Sourceval highlight : file:string -> context:int -> Why3.Theory.theory -> Why3.Task.task -> unit