#!/usr/bin/5D -p OPLs/Math.5D
let Composition := requireModule "Composition" in 
Composition.withInterface1 filename
let Logic := requireModule "Logic" in 
let Arithmetic := requireModule "Arithmetic" in 
let Error := requireModule "Error" in 
import [(rem)] from Composition in 
import [(#t)] from Logic in 
let (=>) := rem "FIXME"
	\a \b
	#t
in
(#exports[(=>)])