package codex

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

Module Const_eval.MakeSource

Parameters

module Terms : Sig.TERMS

Signature

Sourceexception Empty
Sourceexception Not_a_constant

Returns the value if the term is indeed a singleton value;

  • raises Empty

    if it is the empty value;