package smtml

  1. Overview
  2. Docs
val v : string -> term t
val length : term -> term t
val to_code : term -> term t
val of_code : term -> term t
val at : term -> pos:term -> term t
val concat : term -> term -> term t
val sub : term -> pos:term -> len:term -> term t
OCaml

Innovation. Community. Security.