Module Scripting.ValueSource

Sourcetype vterm =
  1. | StringTerm of string * UtilsLib.Error.pos
  2. | RealTerm of AcgSig.t * Logic.Lambda.Lambda.term * Logic.Lambda.Lambda.stype * Containers.SharedForest.SharedForest.weight option * string option
Sourceval value_from_string : string -> UtilsLib.Error.pos -> value
Sourceval print : bool -> value -> unit