module FStar.ConstantTime.Integers

fsdoc: no-summary-found

fsdoc: no-comment-found


    This module provides a refinement of FStar.IFC providing an
    interface restricted only to constant-time operations on integers.

    In contrast, FStar.IFC provides a general monadic information-flow
    control framework, which need not be restricted to constant-time
    operations.