package jasmin

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

Module Jasmin.Bool

type reflect =
  1. | ReflectT
  2. | ReflectF
val iff_reflect : bool -> reflect
val reflect_dec : bool -> reflect -> bool