package sosa

You can search for identifiers within the package.

in-package search v0.2.0

sosa
- Sosa

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

type character

val empty : t

val length : t -> int

val sub_exn : t -> index:int -> length:int -> t