fstar
  1. Overview
  2. Docs
package fstar
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception EOF
type fd_read = in_channel
type fd_write = out_channel
val stdin : in_channel
val stdout : out_channel
val stderr : out_channel
val pr : ('a, out_channel, unit) format -> 'a
val spr : ('a, unit, string) format -> 'a
val fpr : out_channel -> ('a, out_channel, unit) format -> 'a
val print_newline : unit -> unit
val print_string : string -> unit
val print_via : ('a -> string) -> 'a -> unit
val print_uint8 : int -> unit
val print_uint16 : FStar_UInt16.M.t -> unit
val print_uint32 : FStar_UInt32.M.t -> unit
val print_uint64 : FStar_UInt64.M.t -> unit
val print_uint8_dec : int -> unit
val print_uint16_dec : FStar_UInt16.M.t -> unit
val print_uint32_dec : FStar_UInt32.M.t -> unit
val print_uint64_dec : FStar_UInt64.M.t -> unit
val print_uint8_hex_pad : int -> unit
val print_uint16_hex_pad : FStar_UInt16.M.t -> unit
val print_uint32_hex_pad : FStar_UInt32.M.t -> unit
val print_uint64_hex_pad : FStar_UInt64.M.t -> unit
val __zeropad : int -> string -> string
val print_uint8_dec_pad : int -> unit
val print_uint16_dec_pad : FStar_UInt16.M.t -> unit
val print_uint32_dec_pad : FStar_UInt32.M.t -> unit
val print_uint64_dec_pad : FStar_UInt64.M.t -> unit
val print_any : 'a -> unit
val input_line : unit -> string
val input_int : unit -> Z.t
val input_float : unit -> float
val open_read_file : string -> in_channel
val open_write_file : string -> out_channel
val close_read_file : in_channel -> unit
val close_write_file : out_channel -> unit
val read_line : in_channel -> string
val write_string : out_channel -> string -> unit
val debug_print_string : string -> bool