package fstar

You can search for identifiers within the package.

in-package search v0.2.0

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