Module EChandraSutraDhar_lib.Inferencer

Copyright 2025-2026, Ram Prosad Chandra Sutra Dhar

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

module IntSet : sig ... end
type error =
  1. | OccursCheck of Base.int * Ast.ty
  2. | NoVariable of Base.string
  3. | UnificationFailed of Ast.ty * Ast.ty
  4. | SeveralBounds of Base.string
  5. | LHS of Base.string
  6. | RHS of Base.string
  7. | UnexpectedFunction of Ast.ty
val pp_error : Stdlib.Format.formatter -> error -> Base.unit
module Scheme : sig ... end
module TypeEnv : sig ... end
val infer_simple_expression : Ast.expr -> (Ast.ty, error) Base.Result.t
val run_infer : Ast.program -> (TypeEnv.t, error) Base.Result.t