package smtml

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

Module DolmenIntf.StringSource

Sourceval v : string -> term
val length : term -> term
val to_code : term -> term
val of_code : term -> term
val to_int : term -> term
val of_int : term -> term
Sourceval to_re : term -> term
Sourceval at : term -> pos:term -> term
Sourceval concat : term list -> term
Sourceval contains : term -> sub:term -> term
Sourceval is_prefix : term -> prefix:term -> term
Sourceval is_suffix : term -> suffix:term -> term
val in_re : term -> term -> term
val lt : term -> term -> term
Sourceval le : term -> term -> term
Sourceval sub : term -> pos:term -> len:term -> term
Sourceval index_of : term -> sub:term -> pos:term -> term
Sourceval replace : term -> pattern:term -> with_:term -> term
Sourceval replace_all : term -> pattern:term -> with_:term -> term
OCaml

Innovation. Community. Security.