package smtml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val 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
val at : term -> pos:term -> term
val concat : term list -> term
val contains : term -> sub:term -> term
val is_prefix : term -> prefix:term -> term
val is_suffix : term -> suffix:term -> term
val sub : term -> pos:term -> len:term -> term
val index_of : term -> sub:term -> pos:term -> term
val replace : term -> pattern:term -> with_:term -> term
OCaml

Innovation. Community. Security.