package orsetto

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

The fully-decomposed canonical normal form.

val quick_check : Ucs_db_aux.qc Ucs_db_aux.map

The quick-check property corresponding to the form.

val boundary_check : Uchar.t Seq.t -> Ucs_db_aux.qc

Use boundary_check s to consume s, and if possible, quickly find whether the sequence conforms to the normalization form.

Returns QC_yes if s is normalized, or QC_no if s is not normalized, and QC_maybe if the predicate can only be determined by the more costly function of comparing the sequence with the output of the transform function (see below).

val transform : Uchar.t Seq.t -> Uchar.t Seq.t

Use transform s to normalize s according to the form.