Scripting.Valuemodule AcgSig = AcgData.Signature.Data_Signaturetype vterm = | StringTerm of string * UtilsLib.Error.pos| RealTerm of AcgSig.t
* Logic.Lambda.Lambda.term
* Logic.Lambda.Lambda.stype
* Containers.SharedForest.SharedForest.weight option
* string optiontype value = vterm UtilsLib.LazyList.tval get_term_value_in_sig :
AcgSig.t ->
vterm ->
Logic.Lambda.Lambda.term * Logic.Lambda.Lambda.stypeval value_from_string : string -> UtilsLib.Error.pos -> valueval print : bool -> value -> unit