Module Wp.PtipSource

Sourcemodule F = Lang.F
Sourcemodule Env = Plang.Env
Sourcetype 'a printer = Format.formatter -> 'a -> unit
Sourcetype v_fold = [
  1. | `Auto
  2. | `Visible
  3. | `Hidden
]
Sourcetype v_term = [
  1. | v_fold
  2. | `Shared
  3. | `Name of string
]
Sourcetype part =
  1. | Term
  2. | Goal
  3. | Step of Conditions.step
Sourceclass autofocus : object ... end
Sourceclass type term_wrapper = object ... end
Sourceclass type term_selection = object ... end
Sourceclass plang : terms:term_wrapper -> focus:term_wrapper -> target:term_wrapper -> autofocus: term_selection -> object ... end
Sourceclass type part_marker = object ... end
Sourceclass type step_selection = object ... end
Sourceclass pcond : parts:part_marker -> target:part_marker -> autofocus:step_selection -> plang: Pcond.state -> object ... end
Sourcetype target = part * F.term option
Sourcetype focus = [
  1. | `Transient
  2. | `Select
  3. | `Focus
  4. | `Extend
  5. | `Reset
]
Sourceclass pseq : autofocus:autofocus -> plang:plang -> pcond:pcond -> object ... end