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