package acgtk

  1. Overview
  2. Docs
package acgtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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