module Syntax = Syntax
module Domain = Domain

let eval = Eval.eval
let inst_clo = Eval.inst_clo

let quote = Quote.quote

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