Module Miniml_lib.Utils

Smart constructors

val int_cons : int -> 'a Ast.t
val var : 'a -> 'a Ast.t
val abs : 'a -> 'a Ast.t -> 'a Ast.t
val app : 'a Ast.t -> 'a Ast.t -> 'a Ast.t
module type MONAD_FAIL = sig ... end
type output =
  1. | OUnit
  2. | OInt of int
  3. | OAbs of Ast.name * Ast.name Ast.t
  4. | OBuiltin of Ast.name
type error =
  1. | UnknownVariable of string
  2. | TypeError of string
  3. | DivisionByZero
  4. | ProgramFreeze
module type MONAD = sig ... end
module type MONADERROR = sig ... end
module RESULT : MONADERROR with type 'a t = ('a, error) Stdlib.Result.t