#lang racket/base
(require "tools.rkt")
(require/provide "op/static.rkt"
                 "op/semantics.rkt"
                 "op/op.rkt")


#lang racket/base
(require "tools.rkt")
(require/provide "op/static.rkt"
                 "op/semantics.rkt"
                 "op/op.rkt")

