package smtml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t =
  1. | Ite
    (*

    If-then-else.

    *)
  2. | List_set
    (*

    Set an element in a list.

    *)
  3. | String_extract
    (*

    Extract a substring. (str.substr String Int Int String)

    *)
  4. | String_replace
    (*

    Replace a substring. (str.replace String String String String)

    *)
  5. | String_index
    (*

    Find the index of a substring. (str.indexof String String Int Int)

    *)

The type t represents ternary operations.

val equal : t -> t -> bool

equal op1 op2 checks if ternary operations op1 and op2 are equal.

val pp : t Fmt.t

pp fmt op pretty-prints the ternary operation op using the formatter fmt.

OCaml

Innovation. Community. Security.