blob: 3ec1f6d9e4a427d5eb035c7d553cebf8da4a4e43 (
plain)
1
2
3
4
5
6
7
8
9
10
|
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
|