Module Cf_annot.Coded

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