package volgo

  1. Overview
  2. Docs
package volgo
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Private.Validated_stringSource

Utils to manipulate abstract types that are strings in their implementation.

Sourcemodule type S = sig ... end
Sourcemodule type X = sig ... end
Sourcemodule Make (_ : X) : S with type t := string

Make returns an interface that exposes the fact that t = string so this equality can be used by other functions in the implementation. However, the expected pattern is that such equality is hidden by the inclusion of S in the mli of a validated string. See Author for an example.