ocelot.rkt

#lang racket

(require "lang/ast.rkt" "lang/bounds.rkt" "lang/sketch.rkt" "lang/universe.rkt"
         "engine/engine.rkt" "engine/interpretation.rkt"
         "lib/print.rkt" "lib/simplify.rkt" "lib/simplify-solve.rkt")

(provide
 ; lang/ast.rkt
 declare-relation
 + - & -> ~ join
 <: :>
 set
 ^ *
 none univ iden
 in =
 and or => ! not
 all some no
 one lone
 unary-op?
 (struct-out prefab)
 ; lang/bounds.rkt
 make-bound make-exact-bound make-upper-bound make-product-bound
 (struct-out bounds)
 get-upper-bound bounds-union bounds-variables
 ; lang/sketch.rkt
 expression-sketch
 ; lang/universe.rkt
 universe universe-atoms universe-inverse
 ; engine/engine.rkt
 interpret interpret*
 ; engine/interpretation.rkt
 instantiate-bounds interpretation->relations interpretation-union
 ; lib/print.rkt
 ast->datum ast->alloy
 ; lib/simplify.rkt
 simplify simplify/solve
 )