fstar
  1. Overview
  2. Docs
package fstar
Legend:
Library
Module
Module type
Parameter
Class
Class type
module UChar = BatUChar
module U32 = FStar_UInt32
type char = int
val char_to_yojson : char -> Yojson.Safe.t
val _ : Yojson.Safe.t -> char Ppx_deriving_yojson_runtime.error_or
type char_code = U32.t
val lowercase : char -> char
val uppercase : char -> char
val int_of_char : char -> Z.t
val char_of_int : Z.t -> char
val u32_of_char : char -> char_code
val char_of_u32 : char_code -> char