package zelus

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.