import ClauseRef from "../models/ClauseRef"; // TODO export default function isClauseRef( x ) { return x instanceof ClauseRef; }