package prbnmcn-basic-structures

  1. Overview
  2. Docs

Abstraction for constants.

type 'a m
type t

The type of cosntants.

val const : t -> t m

Injects a constant from the meta to the object language.