package repr

  1. Overview
  2. Docs

Module Repr.StagingSource

This module is intended to be globally opened.

Sourcetype +'a staged
Sourceval stage : 'a -> 'a staged
Sourceval unstage : 'a staged -> 'a