lem

Lem is a tool for lightweight executable mathematics
val fromJust : 'a option -> 'a