Module Term.ValueSource

Sourcetype t =
  1. | Int of int
  2. | Char of int
  3. | String of string
  4. | Unary of t -> t
  5. | Binary of t -> t -> t
Sourceval number_values : string -> t list
Sourceval int_plus : t
Sourceval int_minus : t
Sourceval int_times : t
Sourceval string_concat : t
Sourceval apply : t -> t -> t