prim

The Disco standard prim library can be imported with

import prim

Currently, the only function it exports is crash : List(Char) -> a, which can be used anywhere and crashes with an arbitrary error message.