val embed-string : string -> inline-text

文字列をインラインに変換します。

val extract-string : inline-boxes -> string

inline-boxes を無理やり文字列に変換します。

val arabic : int -> string

int を string に変換します。

val show-float : float -> string

float を string に変換します。

val convert-string-for-math : context -> math-char-class -> string -> string

詳細不明

val math-char : math-class -> string -> math

与えた文字列を指定した属性にする

val math-big-char : math-class -> string -> math

math-charの大型演算子版

val math-char-with-kern : math-class -> string -> (length -> length -> length) -> (length -> length -> length) -> math

詳細不明

val math-big-char-with-kern : math-class -> string -> (length -> length -> length) -> (length -> length -> length) -> math

詳細不明

val load-pdf-image : string -> int -> image

PDFファイルまでのパスとページ番号を指定して image を作る。

val load-image : string -> image

画像ファイルまでのパスを指定して image を作る（現在はJPGファイルのみ対応）。

val string-same : string -> string -> bool

二つの文字列が等しいかを判定します。

val string-sub : string -> int -> int -> string

何文字目から何文字分取得するかを指定して元の文字列の部分文字列を取得できます。指定した範囲が元の文字列を超えている場合はエラーが出て終了します。

val string-sub-bytes : string -> int -> int -> string

string-subのバイト版です。

val string-length : string -> int

文字列の長さを取得します。

val string-byte-length : string -> int

何バイトかを取得します。

val string-unexplode : (int) list -> string

ユニコードポイントのリストを与えることで、それをもとにした文字列を作成します。

val string-explode : string -> (int) list

文字列からユニコードポイントのリストを作成します。

val split-into-lines : string -> ((int * string)) list

改行ごとに文字列を区切り、先頭の空白の長さの情報と一緒に返してきます。

val regexp-of-string : string -> regexp

正規表現型の値を作成します。

val string-match : regexp -> string -> bool

正規表現のマッチを行います。

val string-scan : regexp -> string -> ((string * string)) option

val split-on-regexp : regexp -> string -> ((int * string)) list

正規表現の値を元に文字列を区切り、空白の長さの情報と一緒に返してきます。

val (^) : string -> string -> string

string と string を繋ぎます。

val register-cross-reference : string -> string -> unit

keyとvalueを与えることでsatysfi-auxファイルに書き出します。

val get-cross-reference : string -> (string) option

key与えることでsatysfi-auxファイル書かれている値を取得します。存在しない場合はNoneが返ってきます。

val probe-cross-reference : string -> (string) option

詳細不明

val display-message : string -> unit

メッセージを出力します。

val abort-with-message : string -> 'a

メッセージを出力して停止します。

val register-outline : ((int * string * string * bool)) list -> unit

詳細不明