module Syntax = Syntax
module Domain = Domain

let eval = Eval.eval
let eval_toplevel = Eval.eval_toplevel
let inst_clo = Eval.inst_clo
let force_all = Eval.force_all

let quote = Quote.quote
let quote_toplevel = Quote.quote_toplevel

exception Unequal = Conversion.Unequal
let equate = Conversion.equate