package orsetto

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

A submodule containing specializations for use with

f_decode

.

module type Basis = sig ... end

The basis signature for

module type Profile = Profile with type position := Cf_decode.position

The signature of annotation systems specialized for

module Create (B : Basis) : Profile with type symbol := B.Symbol.t

Use Create(B) to make an annotation system module for the symbols defined in B and decoded with