Module EChandraSutraDhar_lib.Interpreter

Copyright 2025-2026, Ram Prosad Chandra Sutra Dhar

SPDX-License-Identifier: LGPL-3.0-or-later

type value_error =
  1. | UnboundVariable of Ast.ident
  2. | TypeError
  3. | DivisionByZeroError
  4. | PatternMatchingError
  5. | LHS
type value =
  1. | ValueInt of Base.int
  2. | ValueBool of Base.bool
  3. | ValueString of Base.string
  4. | ValueUnit
  5. | ValueClosure of Ast.is_rec * Ast.pattern * Ast.pattern Base.list * Ast.expr * env
  6. | ValueTuple of value * value * value Base.list
  7. | ValueList of value Base.list
  8. | ValueOption of value Base.option
  9. | ValueBuiltin of value -> (value, value_error) Base.Result.t
and env = (Ast.ident, value, Base.String.comparator_witness) Base.Map.t
val pp_value_error : Stdlib.Format.formatter -> value_error -> Base.unit
module Inter : sig ... end