Module Unsafe

val exp : Zelus.exp -> bool

An expression or equation is unsafe if it contains an unsafe operation.

val equation : Zelus.eq -> bool
val block_eq_list : Zelus.eq list Zelus.block -> bool