export function error ( message ) { throw new Error ( message ) ; } export function assertNever ( proof , message = "assertNever violation" ) { return error ( message ) ; } export function assert ( expression , message = "False expression" ) { if ( ! expression ) { return error ( message ) ; } }