package zelus

  1. Overview
  2. Docs
package zelus
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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