Wp.Ptip
module F = Lang.F
module Env = Plang.Env
class autofocus : object ... end
class type term_wrapper = object ... end
class type term_selection = object ... end
class plang : terms:term_wrapper -> focus:term_wrapper -> target:term_wrapper -> autofocus:
term_selection -> object ... end
class type part_marker = object ... end
class type step_selection = object ... end
class pcond : parts:part_marker -> target:part_marker -> autofocus:step_selection -> plang:
Pcond.state -> object ... end