package orsetto

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

Unsafe interfaces depend on the internal structure of tables.

type event = private Create(Int_basis).Unsafe.event =
  1. | E_index of Int_basis.Vector.index
  2. | E_adjust of {
    1. lim : Int_basis.Vector.index;
    2. rev : Int_basis.Vector.index;
    }