Simple IO
| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (455 entries) |
| Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (17 entries) |
| Binder Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (92 entries) |
| Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (12 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (15 entries) |
| Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (178 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (101 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (9 entries) |
| Projection Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (5 entries) |
| Instance Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (4 entries) |
| Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1 entry) |
| Record Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1 entry) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (20 entries) |
Global Index
A
Applicative_IO [instance, in SimpleIO.IO_Monad]ascii_of_char [definition, in SimpleIO.IO_RawChar]
ascii_of_int [axiom, in SimpleIO.IO_RawChar]
a:1 [binder, in SimpleIO.IO_Exceptions]
a:11 [binder, in SimpleIO.IO_Monad]
a:11 [binder, in SimpleIO.IO_Exceptions]
a:12 [binder, in SimpleIO.IO_UnsafeNat]
a:13 [binder, in SimpleIO.IO_Monad]
a:17 [binder, in SimpleIO.IO_Monad]
a:18 [binder, in SimpleIO.IO_Monad]
a:23 [binder, in SimpleIO.IO_Monad]
a:3 [binder, in SimpleIO.IO_Monad]
a:3 [binder, in SimpleIO.IO_Exceptions]
a:30 [binder, in SimpleIO.IO_Monad]
a:34 [binder, in SimpleIO.IO_Monad]
a:34 [binder, in SimpleIO.IO_Stdlib]
a:36 [binder, in SimpleIO.IO_Stdlib]
a:39 [binder, in SimpleIO.IO_Monad]
a:42 [binder, in SimpleIO.IO_Monad]
a:5 [binder, in SimpleIO.IO_Monad]
a:5 [binder, in SimpleIO.IO_Exceptions]
a:50 [binder, in SimpleIO.IO_Monad]
a:58 [binder, in SimpleIO.IO_Monad]
a:59 [binder, in SimpleIO.IO_Unix]
a:60 [binder, in SimpleIO.IO_Monad]
a:61 [binder, in SimpleIO.IO_Unix]
a:7 [binder, in SimpleIO.IO_Exceptions]
a:76 [binder, in SimpleIO.IO_Stdlib]
a:78 [binder, in SimpleIO.IO_Stdlib]
a:8 [binder, in SimpleIO.IO_Monad]
a:80 [binder, in SimpleIO.IO_Stdlib]
a:84 [binder, in SimpleIO.IO_Stdlib]
a:9 [binder, in SimpleIO.IO_Exceptions]
B
bytes [axiom, in SimpleIO.IO_Stdlib]b:14 [binder, in SimpleIO.IO_Monad]
b:31 [binder, in SimpleIO.IO_Monad]
b:35 [binder, in SimpleIO.IO_Monad]
b:43 [binder, in SimpleIO.IO_Monad]
b:51 [binder, in SimpleIO.IO_Monad]
b:6 [binder, in SimpleIO.IO_Monad]
b:9 [binder, in SimpleIO.IO_Monad]
C
catch_any_exc [axiom, in SimpleIO.IO_Exceptions]catch_sys_error [axiom, in SimpleIO.IO_Exceptions]
catch_not_found [axiom, in SimpleIO.IO_Exceptions]
catch_failure [axiom, in SimpleIO.IO_Exceptions]
catch_invalid_arg [axiom, in SimpleIO.IO_Exceptions]
catch_eof [axiom, in SimpleIO.IO_Exceptions]
char [axiom, in SimpleIO.IO_Stdlib]
char_of_ascii [definition, in SimpleIO.IO_RawChar]
char_is_ascii [axiom, in SimpleIO.IO_RawChar]
char_of_int_of_char [axiom, in SimpleIO.IO_StdlibAxioms]
char_of_int_io [axiom, in SimpleIO.IO_Stdlib]
char_of_int_opt [axiom, in SimpleIO.IO_Stdlib]
char_eqb [axiom, in SimpleIO.IO_Stdlib]
close_in_noerr [axiom, in SimpleIO.IO_Stdlib]
close_in [axiom, in SimpleIO.IO_Stdlib]
close_out_noerr [axiom, in SimpleIO.IO_Stdlib]
close_out [axiom, in SimpleIO.IO_Stdlib]
code:57 [binder, in SimpleIO.IO_Unix]
c:1 [binder, in SimpleIO.IO_StdlibAxioms]
c:44 [binder, in SimpleIO.IO_Monad]
c:5 [binder, in SimpleIO.IO_RawChar]
D
decr_ref_nat [definition, in SimpleIO.IO_UnsafeNat]decr_ref [axiom, in SimpleIO.IO_Stdlib]
E
exit [axiom, in SimpleIO.IO_Stdlib]exit_nat [definition, in SimpleIO.IO_UnsafeNat]
F
failwith [axiom, in SimpleIO.IO_Stdlib]float [axiom, in SimpleIO.IO_Stdlib]
FloatNotations [module, in SimpleIO.IO_Float]
_ ^ _ [notation, in SimpleIO.IO_Float]
_ / _ [notation, in SimpleIO.IO_Float]
_ * _ [notation, in SimpleIO.IO_Float]
_ - _ [notation, in SimpleIO.IO_Float]
_ + _ [notation, in SimpleIO.IO_Float]
- _ [notation, in SimpleIO.IO_Float]
flush [axiom, in SimpleIO.IO_Stdlib]
flush_all [axiom, in SimpleIO.IO_Stdlib]
from_ostring [axiom, in SimpleIO.IO_RawChar]
Functor_IO [instance, in SimpleIO.IO_Monad]
f:15 [binder, in SimpleIO.IO_Monad]
f:20 [binder, in SimpleIO.IO_Monad]
f:24 [binder, in SimpleIO.IO_Monad]
f:32 [binder, in SimpleIO.IO_Monad]
f:64 [binder, in SimpleIO.IO_Monad]
H
h:10 [binder, in SimpleIO.IO_RawChar]h:11 [binder, in SimpleIO.IO_RawChar]
h:3 [binder, in SimpleIO.IO_UnsafeNat]
h:47 [binder, in SimpleIO.IO_Monad]
h:5 [binder, in SimpleIO.IO_UnsafeNat]
h:7 [binder, in SimpleIO.IO_UnsafeNat]
I
incr_ref_nat [definition, in SimpleIO.IO_UnsafeNat]incr_ref [axiom, in SimpleIO.IO_Stdlib]
input [axiom, in SimpleIO.IO_Stdlib]
input_line' [definition, in SimpleIO.IO_RawChar]
input_ascii [definition, in SimpleIO.IO_RawChar]
input_byte_nat [definition, in SimpleIO.IO_UnsafeNat]
input_byte [axiom, in SimpleIO.IO_Stdlib]
input_line [axiom, in SimpleIO.IO_Stdlib]
input_char [axiom, in SimpleIO.IO_Stdlib]
int_of_ascii [axiom, in SimpleIO.IO_RawChar]
int_of_ostring_opt [axiom, in SimpleIO.IO_Stdlib]
int_of_char [axiom, in SimpleIO.IO_Stdlib]
int_max [axiom, in SimpleIO.IO_Stdlib]
int_min [axiom, in SimpleIO.IO_Stdlib]
int_lt [axiom, in SimpleIO.IO_Stdlib]
int_le [axiom, in SimpleIO.IO_Stdlib]
int_neqb [axiom, in SimpleIO.IO_Stdlib]
int_eqb [axiom, in SimpleIO.IO_Stdlib]
int_mod_opt [axiom, in SimpleIO.IO_Stdlib]
int_div_opt [axiom, in SimpleIO.IO_Stdlib]
int_mul [axiom, in SimpleIO.IO_Stdlib]
int_sub [axiom, in SimpleIO.IO_Stdlib]
int_add [axiom, in SimpleIO.IO_Stdlib]
invalid_arg [axiom, in SimpleIO.IO_Stdlib]
in_channel_length [axiom, in SimpleIO.IO_Stdlib]
in_channel [axiom, in SimpleIO.IO_Stdlib]
IO [module, in SimpleIO.IO_Monad]
IO [axiom, in SimpleIO.IO_Monad]
iof:62 [binder, in SimpleIO.IO_Monad]
iox:63 [binder, in SimpleIO.IO_Monad]
io_unit [axiom, in SimpleIO.IO_Monad]
IO_Exceptions [library]
IO_Float [library]
IO_Unix [library]
IO_Bytes [library]
IO_Random [library]
IO_RawChar [library]
IO_Unsafe [library]
IO_Monad [library]
IO_Stdlib [library]
IO_Sys [library]
IO_StdlibAxioms [library]
IO_MonadFix [library]
IO_String [library]
IO_UnsafeNat [library]
IO.bind [axiom, in SimpleIO.IO_Monad]
IO.bind_ext [axiom, in SimpleIO.IO_Monad]
IO.bind_bind [axiom, in SimpleIO.IO_Monad]
IO.bind_ret [axiom, in SimpleIO.IO_Monad]
IO.delay_io [axiom, in SimpleIO.IO_Monad]
IO.fixpoint_io [axiom, in SimpleIO.IO_Monad]
IO.fix_io [axiom, in SimpleIO.IO_Monad]
IO.loop [definition, in SimpleIO.IO_Monad]
IO.map [definition, in SimpleIO.IO_Monad]
IO.Notations [module, in SimpleIO.IO_Monad]
IO.Notations.delay [abbreviation, in SimpleIO.IO_Monad]
_ ;; _ (io_scope) [notation, in SimpleIO.IO_Monad]
_ <- _ ;; _ (io_scope) [notation, in SimpleIO.IO_Monad]
_ =<< _ (io_scope) [notation, in SimpleIO.IO_Monad]
_ >>= _ (io_scope) [notation, in SimpleIO.IO_Monad]
IO.ret [axiom, in SimpleIO.IO_Monad]
IO.ret_bind [axiom, in SimpleIO.IO_Monad]
IO.unsafe_run' [axiom, in SimpleIO.IO_Monad]
IO.unsafe_run [axiom, in SimpleIO.IO_Monad]
IO.very_unsafe_eval [axiom, in SimpleIO.IO_Monad]
IO.while_loop [definition, in SimpleIO.IO_Monad]
K
k':54 [binder, in SimpleIO.IO_Monad]k:21 [binder, in SimpleIO.IO_Monad]
k:25 [binder, in SimpleIO.IO_Monad]
k:37 [binder, in SimpleIO.IO_Monad]
k:46 [binder, in SimpleIO.IO_Monad]
k:53 [binder, in SimpleIO.IO_Monad]
L
land [axiom, in SimpleIO.IO_Stdlib]lnot [axiom, in SimpleIO.IO_Stdlib]
lor [axiom, in SimpleIO.IO_Stdlib]
lxor [axiom, in SimpleIO.IO_Stdlib]
M
max_int [axiom, in SimpleIO.IO_Stdlib]min_int [axiom, in SimpleIO.IO_Stdlib]
MonadFix_IO [instance, in SimpleIO.IO_MonadFix]
Monad_IO [instance, in SimpleIO.IO_Monad]
m:16 [binder, in SimpleIO.IO_Monad]
m:40 [binder, in SimpleIO.IO_Monad]
m:45 [binder, in SimpleIO.IO_Monad]
m:52 [binder, in SimpleIO.IO_Monad]
N
new_ref [axiom, in SimpleIO.IO_Stdlib]n:1 [binder, in SimpleIO.IO_UnsafeNat]
n:11 [binder, in SimpleIO.IO_UnsafeNat]
n:13 [binder, in SimpleIO.IO_UnsafeNat]
n:2 [binder, in SimpleIO.IO_UnsafeNat]
n:4 [binder, in SimpleIO.IO_UnsafeNat]
n:6 [binder, in SimpleIO.IO_UnsafeNat]
n:9 [binder, in SimpleIO.IO_UnsafeNat]
O
OBytes [module, in SimpleIO.IO_Bytes]OBytes.create [axiom, in SimpleIO.IO_Bytes]
OBytes.get [axiom, in SimpleIO.IO_Bytes]
OBytes.length [axiom, in SimpleIO.IO_Bytes]
OBytes.of_string [axiom, in SimpleIO.IO_Bytes]
OBytes.set [axiom, in SimpleIO.IO_Bytes]
OBytes.sub [axiom, in SimpleIO.IO_Bytes]
OBytes.to_string [axiom, in SimpleIO.IO_Bytes]
ocaml_string [axiom, in SimpleIO.IO_Stdlib]
OFloat [module, in SimpleIO.IO_Float]
OFloat.add [axiom, in SimpleIO.IO_Float]
OFloat.div [axiom, in SimpleIO.IO_Float]
OFloat.micro [axiom, in SimpleIO.IO_Float]
OFloat.mul [axiom, in SimpleIO.IO_Float]
OFloat.neg [axiom, in SimpleIO.IO_Float]
OFloat.of_string_opt [axiom, in SimpleIO.IO_Float]
OFloat.of_int [axiom, in SimpleIO.IO_Float]
OFloat.pow [axiom, in SimpleIO.IO_Float]
OFloat.sub [axiom, in SimpleIO.IO_Float]
OFloat.to_string [axiom, in SimpleIO.IO_Float]
OFloat.Unsafe [module, in SimpleIO.IO_Float]
OFloat.Unsafe.of_string [axiom, in SimpleIO.IO_Float]
OFloat.Unsafe.to_int [axiom, in SimpleIO.IO_Float]
open_in [axiom, in SimpleIO.IO_Stdlib]
open_out [axiom, in SimpleIO.IO_Stdlib]
opt:41 [binder, in SimpleIO.IO_Unix]
ORandom [module, in SimpleIO.IO_Random]
ORandom.bool [axiom, in SimpleIO.IO_Random]
ORandom.int [axiom, in SimpleIO.IO_Random]
ORandom.self_init [axiom, in SimpleIO.IO_Random]
OString [module, in SimpleIO.IO_String]
ostring_of_int [axiom, in SimpleIO.IO_Stdlib]
ostring_of_bool [axiom, in SimpleIO.IO_Stdlib]
ostring_eqb [axiom, in SimpleIO.IO_Stdlib]
ostring_app [axiom, in SimpleIO.IO_Stdlib]
OString.concat [axiom, in SimpleIO.IO_String]
OString.escaped [axiom, in SimpleIO.IO_String]
OString.from_to_list [axiom, in SimpleIO.IO_String]
OString.get_opt [axiom, in SimpleIO.IO_String]
OString.length [axiom, in SimpleIO.IO_String]
OString.of_list [axiom, in SimpleIO.IO_String]
OString.to_from_list [axiom, in SimpleIO.IO_String]
OString.to_list [axiom, in SimpleIO.IO_String]
OString.Unsafe [module, in SimpleIO.IO_String]
OString.Unsafe.get [axiom, in SimpleIO.IO_String]
OString.Unsafe.init [axiom, in SimpleIO.IO_String]
OString.Unsafe.make [axiom, in SimpleIO.IO_String]
OString.Unsafe.sub [axiom, in SimpleIO.IO_String]
OSys [module, in SimpleIO.IO_Sys]
OSys.argv [axiom, in SimpleIO.IO_Sys]
OSys.command [axiom, in SimpleIO.IO_Sys]
OSys.getenv [axiom, in SimpleIO.IO_Sys]
OSys.getenv_opt [axiom, in SimpleIO.IO_Sys]
OSys.time [axiom, in SimpleIO.IO_Sys]
OUnix [module, in SimpleIO.IO_Unix]
OUnix.accept [axiom, in SimpleIO.IO_Unix]
OUnix.addr_info [record, in SimpleIO.IO_Unix]
OUnix.ADDR_INET [constructor, in SimpleIO.IO_Unix]
OUnix.ADDR_UNIX [constructor, in SimpleIO.IO_Unix]
OUnix.AI_PASSIVE [constructor, in SimpleIO.IO_Unix]
OUnix.AI_CANONNAME [constructor, in SimpleIO.IO_Unix]
OUnix.AI_NUMERICHOST [constructor, in SimpleIO.IO_Unix]
OUnix.AI_PROTOCOL [constructor, in SimpleIO.IO_Unix]
OUnix.AI_SOCKTYPE [constructor, in SimpleIO.IO_Unix]
OUnix.AI_FAMILY [constructor, in SimpleIO.IO_Unix]
OUnix.ai_canonname [projection, in SimpleIO.IO_Unix]
OUnix.ai_addr [projection, in SimpleIO.IO_Unix]
OUnix.ai_protocol [projection, in SimpleIO.IO_Unix]
OUnix.ai_socktype [projection, in SimpleIO.IO_Unix]
OUnix.ai_family [projection, in SimpleIO.IO_Unix]
OUnix.bind [axiom, in SimpleIO.IO_Unix]
OUnix.catch_error [axiom, in SimpleIO.IO_Unix]
OUnix.close [axiom, in SimpleIO.IO_Unix]
OUnix.connect [axiom, in SimpleIO.IO_Unix]
OUnix.EACCES [constructor, in SimpleIO.IO_Unix]
OUnix.EADDRINUSE [constructor, in SimpleIO.IO_Unix]
OUnix.EADDRNOTAVAIL [constructor, in SimpleIO.IO_Unix]
OUnix.EAFNOSUPPORT [constructor, in SimpleIO.IO_Unix]
OUnix.EAGAIN [constructor, in SimpleIO.IO_Unix]
OUnix.EALREADY [constructor, in SimpleIO.IO_Unix]
OUnix.EBADF [constructor, in SimpleIO.IO_Unix]
OUnix.EBUSY [constructor, in SimpleIO.IO_Unix]
OUnix.ECHILD [constructor, in SimpleIO.IO_Unix]
OUnix.ECONNABORTED [constructor, in SimpleIO.IO_Unix]
OUnix.ECONNREFUSED [constructor, in SimpleIO.IO_Unix]
OUnix.ECONNRESET [constructor, in SimpleIO.IO_Unix]
OUnix.EDEADLK [constructor, in SimpleIO.IO_Unix]
OUnix.EDESTADDRREQ [constructor, in SimpleIO.IO_Unix]
OUnix.EDOM [constructor, in SimpleIO.IO_Unix]
OUnix.EEXIST [constructor, in SimpleIO.IO_Unix]
OUnix.EFAULT [constructor, in SimpleIO.IO_Unix]
OUnix.EFBIG [constructor, in SimpleIO.IO_Unix]
OUnix.EHOSTDOWN [constructor, in SimpleIO.IO_Unix]
OUnix.EHOSTUNREACH [constructor, in SimpleIO.IO_Unix]
OUnix.EINPROGRESS [constructor, in SimpleIO.IO_Unix]
OUnix.EINTR [constructor, in SimpleIO.IO_Unix]
OUnix.EINVAL [constructor, in SimpleIO.IO_Unix]
OUnix.EIO [constructor, in SimpleIO.IO_Unix]
OUnix.EISCONN [constructor, in SimpleIO.IO_Unix]
OUnix.EISDIR [constructor, in SimpleIO.IO_Unix]
OUnix.ELOOP [constructor, in SimpleIO.IO_Unix]
OUnix.EMFILE [constructor, in SimpleIO.IO_Unix]
OUnix.EMLINK [constructor, in SimpleIO.IO_Unix]
OUnix.EMSGSIZE [constructor, in SimpleIO.IO_Unix]
OUnix.ENAMETOOLONG [constructor, in SimpleIO.IO_Unix]
OUnix.ENETDOWN [constructor, in SimpleIO.IO_Unix]
OUnix.ENETRESET [constructor, in SimpleIO.IO_Unix]
OUnix.ENETUNREACH [constructor, in SimpleIO.IO_Unix]
OUnix.ENFILE [constructor, in SimpleIO.IO_Unix]
OUnix.ENOBUFS [constructor, in SimpleIO.IO_Unix]
OUnix.ENODEV [constructor, in SimpleIO.IO_Unix]
OUnix.ENOENT [constructor, in SimpleIO.IO_Unix]
OUnix.ENOEXEC [constructor, in SimpleIO.IO_Unix]
OUnix.ENOLCK [constructor, in SimpleIO.IO_Unix]
OUnix.ENOMEM [constructor, in SimpleIO.IO_Unix]
OUnix.ENOPROTOOPT [constructor, in SimpleIO.IO_Unix]
OUnix.ENOSPC [constructor, in SimpleIO.IO_Unix]
OUnix.ENOSYS [constructor, in SimpleIO.IO_Unix]
OUnix.ENOTCONN [constructor, in SimpleIO.IO_Unix]
OUnix.ENOTDIR [constructor, in SimpleIO.IO_Unix]
OUnix.ENOTEMPTY [constructor, in SimpleIO.IO_Unix]
OUnix.ENOTSOCK [constructor, in SimpleIO.IO_Unix]
OUnix.ENOTTY [constructor, in SimpleIO.IO_Unix]
OUnix.ENXIO [constructor, in SimpleIO.IO_Unix]
OUnix.EOPNOTSUPP [constructor, in SimpleIO.IO_Unix]
OUnix.EOVERFLOW [constructor, in SimpleIO.IO_Unix]
OUnix.EPERM [constructor, in SimpleIO.IO_Unix]
OUnix.EPFNOSUPPORT [constructor, in SimpleIO.IO_Unix]
OUnix.EPIPE [constructor, in SimpleIO.IO_Unix]
OUnix.EPROTONOSUPPORT [constructor, in SimpleIO.IO_Unix]
OUnix.EPROTOTYPE [constructor, in SimpleIO.IO_Unix]
OUnix.ERANGE [constructor, in SimpleIO.IO_Unix]
OUnix.EROFS [constructor, in SimpleIO.IO_Unix]
OUnix.error [inductive, in SimpleIO.IO_Unix]
OUnix.error_message [axiom, in SimpleIO.IO_Unix]
OUnix.ESHUTDOWN [constructor, in SimpleIO.IO_Unix]
OUnix.ESOCKTNOSUPPORT [constructor, in SimpleIO.IO_Unix]
OUnix.ESPIPE [constructor, in SimpleIO.IO_Unix]
OUnix.ESRCH [constructor, in SimpleIO.IO_Unix]
OUnix.ETIMEDOUT [constructor, in SimpleIO.IO_Unix]
OUnix.ETOOMANYREFS [constructor, in SimpleIO.IO_Unix]
OUnix.EUNKNOWNERR [constructor, in SimpleIO.IO_Unix]
OUnix.EWOULDBLOCK [constructor, in SimpleIO.IO_Unix]
OUnix.EXDEV [constructor, in SimpleIO.IO_Unix]
OUnix.E2BIG [constructor, in SimpleIO.IO_Unix]
OUnix.file_descr_eqb [axiom, in SimpleIO.IO_Unix]
OUnix.file_descr [axiom, in SimpleIO.IO_Unix]
OUnix.getaddrinfo [axiom, in SimpleIO.IO_Unix]
OUnix.getaddrinfo_option [inductive, in SimpleIO.IO_Unix]
OUnix.getsockopt [axiom, in SimpleIO.IO_Unix]
OUnix.getsockopt_float [axiom, in SimpleIO.IO_Unix]
OUnix.gettimeofday [axiom, in SimpleIO.IO_Unix]
OUnix.inet_addr_loopback [axiom, in SimpleIO.IO_Unix]
OUnix.inet_addr_any [axiom, in SimpleIO.IO_Unix]
OUnix.inet_addr_of_string [axiom, in SimpleIO.IO_Unix]
OUnix.inet_addr [axiom, in SimpleIO.IO_Unix]
OUnix.IPV6_ONLY [constructor, in SimpleIO.IO_Unix]
OUnix.listen [axiom, in SimpleIO.IO_Unix]
OUnix.Mk_addr_info [constructor, in SimpleIO.IO_Unix]
OUnix.MSG_PEEK [constructor, in SimpleIO.IO_Unix]
OUnix.MSG_DONTROUTE [constructor, in SimpleIO.IO_Unix]
OUnix.MSG_OOB [constructor, in SimpleIO.IO_Unix]
OUnix.msg_flag [inductive, in SimpleIO.IO_Unix]
OUnix.PF_INET6 [constructor, in SimpleIO.IO_Unix]
OUnix.PF_INET [constructor, in SimpleIO.IO_Unix]
OUnix.PF_UNIX [constructor, in SimpleIO.IO_Unix]
OUnix.raise_error [axiom, in SimpleIO.IO_Unix]
OUnix.recv [axiom, in SimpleIO.IO_Unix]
OUnix.select [axiom, in SimpleIO.IO_Unix]
OUnix.send [axiom, in SimpleIO.IO_Unix]
OUnix.setsockopt [axiom, in SimpleIO.IO_Unix]
OUnix.setsockopt_float [axiom, in SimpleIO.IO_Unix]
OUnix.sleep [axiom, in SimpleIO.IO_Unix]
OUnix.sockaddr [inductive, in SimpleIO.IO_Unix]
OUnix.socket [axiom, in SimpleIO.IO_Unix]
OUnix.socket_float_option [inductive, in SimpleIO.IO_Unix]
OUnix.socket_bool_option [inductive, in SimpleIO.IO_Unix]
OUnix.socket_type [inductive, in SimpleIO.IO_Unix]
OUnix.socket_domain [inductive, in SimpleIO.IO_Unix]
OUnix.SOCK_SEQPACKET [constructor, in SimpleIO.IO_Unix]
OUnix.SOCK_RAW [constructor, in SimpleIO.IO_Unix]
OUnix.SOCK_DGRAM [constructor, in SimpleIO.IO_Unix]
OUnix.SOCK_STREAM [constructor, in SimpleIO.IO_Unix]
OUnix.SO_SNDTIMEO [constructor, in SimpleIO.IO_Unix]
OUnix.SO_RCVTIMEO [constructor, in SimpleIO.IO_Unix]
OUnix.SO_ACCEPTCONN [constructor, in SimpleIO.IO_Unix]
OUnix.SO_OOBINLINE [constructor, in SimpleIO.IO_Unix]
OUnix.SO_DONTROUTE [constructor, in SimpleIO.IO_Unix]
OUnix.SO_KEEPALIVE [constructor, in SimpleIO.IO_Unix]
OUnix.SO_REUSEADDR [constructor, in SimpleIO.IO_Unix]
OUnix.SO_BROADCAST [constructor, in SimpleIO.IO_Unix]
OUnix.SO_DEBUG [constructor, in SimpleIO.IO_Unix]
OUnix.string_of_inet_addr [axiom, in SimpleIO.IO_Unix]
OUnix.TCP_NODELAY [constructor, in SimpleIO.IO_Unix]
OUnix.Time [module, in SimpleIO.IO_Unix]
OUnix.time [axiom, in SimpleIO.IO_Unix]
OUnix.Time.Microsec [constructor, in SimpleIO.IO_Unix]
OUnix.Time.Seconds [constructor, in SimpleIO.IO_Unix]
OUnix.Time.setsock_timeout [definition, in SimpleIO.IO_Unix]
OUnix.Time.time [inductive, in SimpleIO.IO_Unix]
OUnix.Time.time_as_seconds [definition, in SimpleIO.IO_Unix]
output_byte_nat [definition, in SimpleIO.IO_UnsafeNat]
output_nat [definition, in SimpleIO.IO_UnsafeNat]
output_byte [axiom, in SimpleIO.IO_Stdlib]
output_substring [axiom, in SimpleIO.IO_Stdlib]
output_bytes [axiom, in SimpleIO.IO_Stdlib]
output_string [axiom, in SimpleIO.IO_Stdlib]
output_char [axiom, in SimpleIO.IO_Stdlib]
out_channel [axiom, in SimpleIO.IO_Stdlib]
P
prerr_nat [definition, in SimpleIO.IO_UnsafeNat]prerr_newline [axiom, in SimpleIO.IO_Stdlib]
prerr_endline [axiom, in SimpleIO.IO_Stdlib]
prerr_string [axiom, in SimpleIO.IO_Stdlib]
prerr_int [axiom, in SimpleIO.IO_Stdlib]
prerr_bytes [axiom, in SimpleIO.IO_Stdlib]
prerr_char [axiom, in SimpleIO.IO_Stdlib]
print_nat [definition, in SimpleIO.IO_UnsafeNat]
print_newline [axiom, in SimpleIO.IO_Stdlib]
print_endline [axiom, in SimpleIO.IO_Stdlib]
print_string [axiom, in SimpleIO.IO_Stdlib]
print_int [axiom, in SimpleIO.IO_Stdlib]
print_bytes [axiom, in SimpleIO.IO_Stdlib]
print_char [axiom, in SimpleIO.IO_Stdlib]
proto:53 [binder, in SimpleIO.IO_Unix]
R
read_line' [definition, in SimpleIO.IO_RawChar]read_nat_opt [definition, in SimpleIO.IO_UnsafeNat]
read_nat [definition, in SimpleIO.IO_UnsafeNat]
read_ref [axiom, in SimpleIO.IO_Stdlib]
read_int_opt [axiom, in SimpleIO.IO_Stdlib]
read_int [axiom, in SimpleIO.IO_Stdlib]
read_line [axiom, in SimpleIO.IO_Stdlib]
really_input_string [axiom, in SimpleIO.IO_Stdlib]
really_input [axiom, in SimpleIO.IO_Stdlib]
ref [axiom, in SimpleIO.IO_Stdlib]
r:10 [binder, in SimpleIO.IO_UnsafeNat]
r:8 [binder, in SimpleIO.IO_UnsafeNat]
S
sd:51 [binder, in SimpleIO.IO_Unix]SimpleIO [library]
sock:40 [binder, in SimpleIO.IO_Unix]
stderr [axiom, in SimpleIO.IO_Stdlib]
stdin [axiom, in SimpleIO.IO_Stdlib]
stdout [axiom, in SimpleIO.IO_Stdlib]
st:52 [binder, in SimpleIO.IO_Unix]
s:11 [binder, in SimpleIO.IO_String]
s:13 [binder, in SimpleIO.IO_String]
T
to_ostring [axiom, in SimpleIO.IO_RawChar]t:38 [binder, in SimpleIO.IO_Unix]
t:42 [binder, in SimpleIO.IO_Unix]
U
unsafe_asr [axiom, in SimpleIO.IO_Unsafe]unsafe_lsr [axiom, in SimpleIO.IO_Unsafe]
unsafe_lsl [axiom, in SimpleIO.IO_Unsafe]
unsafe_int_of_ostring [axiom, in SimpleIO.IO_Unsafe]
unsafe_char_of_int [axiom, in SimpleIO.IO_Unsafe]
unsafe_int_mod [axiom, in SimpleIO.IO_Unsafe]
unsafe_int_div [axiom, in SimpleIO.IO_Unsafe]
V
void:19 [binder, in SimpleIO.IO_Monad]W
write_ref [axiom, in SimpleIO.IO_Stdlib]X
x:22 [binder, in SimpleIO.IO_Monad]x:26 [binder, in SimpleIO.IO_Monad]
x:29 [binder, in SimpleIO.IO_Monad]
x:36 [binder, in SimpleIO.IO_Monad]
x:48 [binder, in SimpleIO.IO_Monad]
x:55 [binder, in SimpleIO.IO_Monad]
x:65 [binder, in SimpleIO.IO_Monad]
x:7 [binder, in SimpleIO.IO_RawChar]
Y
y':27 [binder, in SimpleIO.IO_Monad]other
_ <>? _ (int_scope) [notation, in SimpleIO.IO_Stdlib]_ =? _ (int_scope) [notation, in SimpleIO.IO_Stdlib]
_ <=? _ (int_scope) [notation, in SimpleIO.IO_Stdlib]
_ <? _ (int_scope) [notation, in SimpleIO.IO_Stdlib]
_ * _ (int_scope) [notation, in SimpleIO.IO_Stdlib]
_ - _ (int_scope) [notation, in SimpleIO.IO_Stdlib]
_ + _ (int_scope) [notation, in SimpleIO.IO_Stdlib]
Notation Index
F
_ ^ _ [in SimpleIO.IO_Float]_ / _ [in SimpleIO.IO_Float]
_ * _ [in SimpleIO.IO_Float]
_ - _ [in SimpleIO.IO_Float]
_ + _ [in SimpleIO.IO_Float]
- _ [in SimpleIO.IO_Float]
I
_ ;; _ (io_scope) [in SimpleIO.IO_Monad]_ <- _ ;; _ (io_scope) [in SimpleIO.IO_Monad]
_ =<< _ (io_scope) [in SimpleIO.IO_Monad]
_ >>= _ (io_scope) [in SimpleIO.IO_Monad]
other
_ <>? _ (int_scope) [in SimpleIO.IO_Stdlib]_ =? _ (int_scope) [in SimpleIO.IO_Stdlib]
_ <=? _ (int_scope) [in SimpleIO.IO_Stdlib]
_ <? _ (int_scope) [in SimpleIO.IO_Stdlib]
_ * _ (int_scope) [in SimpleIO.IO_Stdlib]
_ - _ (int_scope) [in SimpleIO.IO_Stdlib]
_ + _ (int_scope) [in SimpleIO.IO_Stdlib]
Binder Index
A
a:1 [in SimpleIO.IO_Exceptions]a:11 [in SimpleIO.IO_Monad]
a:11 [in SimpleIO.IO_Exceptions]
a:12 [in SimpleIO.IO_UnsafeNat]
a:13 [in SimpleIO.IO_Monad]
a:17 [in SimpleIO.IO_Monad]
a:18 [in SimpleIO.IO_Monad]
a:23 [in SimpleIO.IO_Monad]
a:3 [in SimpleIO.IO_Monad]
a:3 [in SimpleIO.IO_Exceptions]
a:30 [in SimpleIO.IO_Monad]
a:34 [in SimpleIO.IO_Monad]
a:34 [in SimpleIO.IO_Stdlib]
a:36 [in SimpleIO.IO_Stdlib]
a:39 [in SimpleIO.IO_Monad]
a:42 [in SimpleIO.IO_Monad]
a:5 [in SimpleIO.IO_Monad]
a:5 [in SimpleIO.IO_Exceptions]
a:50 [in SimpleIO.IO_Monad]
a:58 [in SimpleIO.IO_Monad]
a:59 [in SimpleIO.IO_Unix]
a:60 [in SimpleIO.IO_Monad]
a:61 [in SimpleIO.IO_Unix]
a:7 [in SimpleIO.IO_Exceptions]
a:76 [in SimpleIO.IO_Stdlib]
a:78 [in SimpleIO.IO_Stdlib]
a:8 [in SimpleIO.IO_Monad]
a:80 [in SimpleIO.IO_Stdlib]
a:84 [in SimpleIO.IO_Stdlib]
a:9 [in SimpleIO.IO_Exceptions]
B
b:14 [in SimpleIO.IO_Monad]b:31 [in SimpleIO.IO_Monad]
b:35 [in SimpleIO.IO_Monad]
b:43 [in SimpleIO.IO_Monad]
b:51 [in SimpleIO.IO_Monad]
b:6 [in SimpleIO.IO_Monad]
b:9 [in SimpleIO.IO_Monad]
C
code:57 [in SimpleIO.IO_Unix]c:1 [in SimpleIO.IO_StdlibAxioms]
c:44 [in SimpleIO.IO_Monad]
c:5 [in SimpleIO.IO_RawChar]
F
f:15 [in SimpleIO.IO_Monad]f:20 [in SimpleIO.IO_Monad]
f:24 [in SimpleIO.IO_Monad]
f:32 [in SimpleIO.IO_Monad]
f:64 [in SimpleIO.IO_Monad]
H
h:10 [in SimpleIO.IO_RawChar]h:11 [in SimpleIO.IO_RawChar]
h:3 [in SimpleIO.IO_UnsafeNat]
h:47 [in SimpleIO.IO_Monad]
h:5 [in SimpleIO.IO_UnsafeNat]
h:7 [in SimpleIO.IO_UnsafeNat]
I
iof:62 [in SimpleIO.IO_Monad]iox:63 [in SimpleIO.IO_Monad]
K
k':54 [in SimpleIO.IO_Monad]k:21 [in SimpleIO.IO_Monad]
k:25 [in SimpleIO.IO_Monad]
k:37 [in SimpleIO.IO_Monad]
k:46 [in SimpleIO.IO_Monad]
k:53 [in SimpleIO.IO_Monad]
M
m:16 [in SimpleIO.IO_Monad]m:40 [in SimpleIO.IO_Monad]
m:45 [in SimpleIO.IO_Monad]
m:52 [in SimpleIO.IO_Monad]
N
n:1 [in SimpleIO.IO_UnsafeNat]n:11 [in SimpleIO.IO_UnsafeNat]
n:13 [in SimpleIO.IO_UnsafeNat]
n:2 [in SimpleIO.IO_UnsafeNat]
n:4 [in SimpleIO.IO_UnsafeNat]
n:6 [in SimpleIO.IO_UnsafeNat]
n:9 [in SimpleIO.IO_UnsafeNat]
O
opt:41 [in SimpleIO.IO_Unix]P
proto:53 [in SimpleIO.IO_Unix]R
r:10 [in SimpleIO.IO_UnsafeNat]r:8 [in SimpleIO.IO_UnsafeNat]
S
sd:51 [in SimpleIO.IO_Unix]sock:40 [in SimpleIO.IO_Unix]
st:52 [in SimpleIO.IO_Unix]
s:11 [in SimpleIO.IO_String]
s:13 [in SimpleIO.IO_String]
T
t:38 [in SimpleIO.IO_Unix]t:42 [in SimpleIO.IO_Unix]
V
void:19 [in SimpleIO.IO_Monad]X
x:22 [in SimpleIO.IO_Monad]x:26 [in SimpleIO.IO_Monad]
x:29 [in SimpleIO.IO_Monad]
x:36 [in SimpleIO.IO_Monad]
x:48 [in SimpleIO.IO_Monad]
x:55 [in SimpleIO.IO_Monad]
x:65 [in SimpleIO.IO_Monad]
x:7 [in SimpleIO.IO_RawChar]
Y
y':27 [in SimpleIO.IO_Monad]Module Index
F
FloatNotations [in SimpleIO.IO_Float]I
IO [in SimpleIO.IO_Monad]IO.Notations [in SimpleIO.IO_Monad]
O
OBytes [in SimpleIO.IO_Bytes]OFloat [in SimpleIO.IO_Float]
OFloat.Unsafe [in SimpleIO.IO_Float]
ORandom [in SimpleIO.IO_Random]
OString [in SimpleIO.IO_String]
OString.Unsafe [in SimpleIO.IO_String]
OSys [in SimpleIO.IO_Sys]
OUnix [in SimpleIO.IO_Unix]
OUnix.Time [in SimpleIO.IO_Unix]
Library Index
I
IO_ExceptionsIO_Float
IO_Unix
IO_Bytes
IO_Random
IO_RawChar
IO_Unsafe
IO_Monad
IO_Stdlib
IO_Sys
IO_StdlibAxioms
IO_MonadFix
IO_String
IO_UnsafeNat
S
SimpleIOAxiom Index
A
ascii_of_int [in SimpleIO.IO_RawChar]B
bytes [in SimpleIO.IO_Stdlib]C
catch_any_exc [in SimpleIO.IO_Exceptions]catch_sys_error [in SimpleIO.IO_Exceptions]
catch_not_found [in SimpleIO.IO_Exceptions]
catch_failure [in SimpleIO.IO_Exceptions]
catch_invalid_arg [in SimpleIO.IO_Exceptions]
catch_eof [in SimpleIO.IO_Exceptions]
char [in SimpleIO.IO_Stdlib]
char_is_ascii [in SimpleIO.IO_RawChar]
char_of_int_of_char [in SimpleIO.IO_StdlibAxioms]
char_of_int_io [in SimpleIO.IO_Stdlib]
char_of_int_opt [in SimpleIO.IO_Stdlib]
char_eqb [in SimpleIO.IO_Stdlib]
close_in_noerr [in SimpleIO.IO_Stdlib]
close_in [in SimpleIO.IO_Stdlib]
close_out_noerr [in SimpleIO.IO_Stdlib]
close_out [in SimpleIO.IO_Stdlib]
D
decr_ref [in SimpleIO.IO_Stdlib]E
exit [in SimpleIO.IO_Stdlib]F
failwith [in SimpleIO.IO_Stdlib]float [in SimpleIO.IO_Stdlib]
flush [in SimpleIO.IO_Stdlib]
flush_all [in SimpleIO.IO_Stdlib]
from_ostring [in SimpleIO.IO_RawChar]
I
incr_ref [in SimpleIO.IO_Stdlib]input [in SimpleIO.IO_Stdlib]
input_byte [in SimpleIO.IO_Stdlib]
input_line [in SimpleIO.IO_Stdlib]
input_char [in SimpleIO.IO_Stdlib]
int_of_ascii [in SimpleIO.IO_RawChar]
int_of_ostring_opt [in SimpleIO.IO_Stdlib]
int_of_char [in SimpleIO.IO_Stdlib]
int_max [in SimpleIO.IO_Stdlib]
int_min [in SimpleIO.IO_Stdlib]
int_lt [in SimpleIO.IO_Stdlib]
int_le [in SimpleIO.IO_Stdlib]
int_neqb [in SimpleIO.IO_Stdlib]
int_eqb [in SimpleIO.IO_Stdlib]
int_mod_opt [in SimpleIO.IO_Stdlib]
int_div_opt [in SimpleIO.IO_Stdlib]
int_mul [in SimpleIO.IO_Stdlib]
int_sub [in SimpleIO.IO_Stdlib]
int_add [in SimpleIO.IO_Stdlib]
invalid_arg [in SimpleIO.IO_Stdlib]
in_channel_length [in SimpleIO.IO_Stdlib]
in_channel [in SimpleIO.IO_Stdlib]
IO [in SimpleIO.IO_Monad]
io_unit [in SimpleIO.IO_Monad]
IO.bind [in SimpleIO.IO_Monad]
IO.bind_ext [in SimpleIO.IO_Monad]
IO.bind_bind [in SimpleIO.IO_Monad]
IO.bind_ret [in SimpleIO.IO_Monad]
IO.delay_io [in SimpleIO.IO_Monad]
IO.fixpoint_io [in SimpleIO.IO_Monad]
IO.fix_io [in SimpleIO.IO_Monad]
IO.ret [in SimpleIO.IO_Monad]
IO.ret_bind [in SimpleIO.IO_Monad]
IO.unsafe_run' [in SimpleIO.IO_Monad]
IO.unsafe_run [in SimpleIO.IO_Monad]
IO.very_unsafe_eval [in SimpleIO.IO_Monad]
L
land [in SimpleIO.IO_Stdlib]lnot [in SimpleIO.IO_Stdlib]
lor [in SimpleIO.IO_Stdlib]
lxor [in SimpleIO.IO_Stdlib]
M
max_int [in SimpleIO.IO_Stdlib]min_int [in SimpleIO.IO_Stdlib]
N
new_ref [in SimpleIO.IO_Stdlib]O
OBytes.create [in SimpleIO.IO_Bytes]OBytes.get [in SimpleIO.IO_Bytes]
OBytes.length [in SimpleIO.IO_Bytes]
OBytes.of_string [in SimpleIO.IO_Bytes]
OBytes.set [in SimpleIO.IO_Bytes]
OBytes.sub [in SimpleIO.IO_Bytes]
OBytes.to_string [in SimpleIO.IO_Bytes]
ocaml_string [in SimpleIO.IO_Stdlib]
OFloat.add [in SimpleIO.IO_Float]
OFloat.div [in SimpleIO.IO_Float]
OFloat.micro [in SimpleIO.IO_Float]
OFloat.mul [in SimpleIO.IO_Float]
OFloat.neg [in SimpleIO.IO_Float]
OFloat.of_string_opt [in SimpleIO.IO_Float]
OFloat.of_int [in SimpleIO.IO_Float]
OFloat.pow [in SimpleIO.IO_Float]
OFloat.sub [in SimpleIO.IO_Float]
OFloat.to_string [in SimpleIO.IO_Float]
OFloat.Unsafe.of_string [in SimpleIO.IO_Float]
OFloat.Unsafe.to_int [in SimpleIO.IO_Float]
open_in [in SimpleIO.IO_Stdlib]
open_out [in SimpleIO.IO_Stdlib]
ORandom.bool [in SimpleIO.IO_Random]
ORandom.int [in SimpleIO.IO_Random]
ORandom.self_init [in SimpleIO.IO_Random]
ostring_of_int [in SimpleIO.IO_Stdlib]
ostring_of_bool [in SimpleIO.IO_Stdlib]
ostring_eqb [in SimpleIO.IO_Stdlib]
ostring_app [in SimpleIO.IO_Stdlib]
OString.concat [in SimpleIO.IO_String]
OString.escaped [in SimpleIO.IO_String]
OString.from_to_list [in SimpleIO.IO_String]
OString.get_opt [in SimpleIO.IO_String]
OString.length [in SimpleIO.IO_String]
OString.of_list [in SimpleIO.IO_String]
OString.to_from_list [in SimpleIO.IO_String]
OString.to_list [in SimpleIO.IO_String]
OString.Unsafe.get [in SimpleIO.IO_String]
OString.Unsafe.init [in SimpleIO.IO_String]
OString.Unsafe.make [in SimpleIO.IO_String]
OString.Unsafe.sub [in SimpleIO.IO_String]
OSys.argv [in SimpleIO.IO_Sys]
OSys.command [in SimpleIO.IO_Sys]
OSys.getenv [in SimpleIO.IO_Sys]
OSys.getenv_opt [in SimpleIO.IO_Sys]
OSys.time [in SimpleIO.IO_Sys]
OUnix.accept [in SimpleIO.IO_Unix]
OUnix.bind [in SimpleIO.IO_Unix]
OUnix.catch_error [in SimpleIO.IO_Unix]
OUnix.close [in SimpleIO.IO_Unix]
OUnix.connect [in SimpleIO.IO_Unix]
OUnix.error_message [in SimpleIO.IO_Unix]
OUnix.file_descr_eqb [in SimpleIO.IO_Unix]
OUnix.file_descr [in SimpleIO.IO_Unix]
OUnix.getaddrinfo [in SimpleIO.IO_Unix]
OUnix.getsockopt [in SimpleIO.IO_Unix]
OUnix.getsockopt_float [in SimpleIO.IO_Unix]
OUnix.gettimeofday [in SimpleIO.IO_Unix]
OUnix.inet_addr_loopback [in SimpleIO.IO_Unix]
OUnix.inet_addr_any [in SimpleIO.IO_Unix]
OUnix.inet_addr_of_string [in SimpleIO.IO_Unix]
OUnix.inet_addr [in SimpleIO.IO_Unix]
OUnix.listen [in SimpleIO.IO_Unix]
OUnix.raise_error [in SimpleIO.IO_Unix]
OUnix.recv [in SimpleIO.IO_Unix]
OUnix.select [in SimpleIO.IO_Unix]
OUnix.send [in SimpleIO.IO_Unix]
OUnix.setsockopt [in SimpleIO.IO_Unix]
OUnix.setsockopt_float [in SimpleIO.IO_Unix]
OUnix.sleep [in SimpleIO.IO_Unix]
OUnix.socket [in SimpleIO.IO_Unix]
OUnix.string_of_inet_addr [in SimpleIO.IO_Unix]
OUnix.time [in SimpleIO.IO_Unix]
output_byte [in SimpleIO.IO_Stdlib]
output_substring [in SimpleIO.IO_Stdlib]
output_bytes [in SimpleIO.IO_Stdlib]
output_string [in SimpleIO.IO_Stdlib]
output_char [in SimpleIO.IO_Stdlib]
out_channel [in SimpleIO.IO_Stdlib]
P
prerr_newline [in SimpleIO.IO_Stdlib]prerr_endline [in SimpleIO.IO_Stdlib]
prerr_string [in SimpleIO.IO_Stdlib]
prerr_int [in SimpleIO.IO_Stdlib]
prerr_bytes [in SimpleIO.IO_Stdlib]
prerr_char [in SimpleIO.IO_Stdlib]
print_newline [in SimpleIO.IO_Stdlib]
print_endline [in SimpleIO.IO_Stdlib]
print_string [in SimpleIO.IO_Stdlib]
print_int [in SimpleIO.IO_Stdlib]
print_bytes [in SimpleIO.IO_Stdlib]
print_char [in SimpleIO.IO_Stdlib]
R
read_ref [in SimpleIO.IO_Stdlib]read_int_opt [in SimpleIO.IO_Stdlib]
read_int [in SimpleIO.IO_Stdlib]
read_line [in SimpleIO.IO_Stdlib]
really_input_string [in SimpleIO.IO_Stdlib]
really_input [in SimpleIO.IO_Stdlib]
ref [in SimpleIO.IO_Stdlib]
S
stderr [in SimpleIO.IO_Stdlib]stdin [in SimpleIO.IO_Stdlib]
stdout [in SimpleIO.IO_Stdlib]
T
to_ostring [in SimpleIO.IO_RawChar]U
unsafe_asr [in SimpleIO.IO_Unsafe]unsafe_lsr [in SimpleIO.IO_Unsafe]
unsafe_lsl [in SimpleIO.IO_Unsafe]
unsafe_int_of_ostring [in SimpleIO.IO_Unsafe]
unsafe_char_of_int [in SimpleIO.IO_Unsafe]
unsafe_int_mod [in SimpleIO.IO_Unsafe]
unsafe_int_div [in SimpleIO.IO_Unsafe]
W
write_ref [in SimpleIO.IO_Stdlib]Constructor Index
O
OUnix.ADDR_INET [in SimpleIO.IO_Unix]OUnix.ADDR_UNIX [in SimpleIO.IO_Unix]
OUnix.AI_PASSIVE [in SimpleIO.IO_Unix]
OUnix.AI_CANONNAME [in SimpleIO.IO_Unix]
OUnix.AI_NUMERICHOST [in SimpleIO.IO_Unix]
OUnix.AI_PROTOCOL [in SimpleIO.IO_Unix]
OUnix.AI_SOCKTYPE [in SimpleIO.IO_Unix]
OUnix.AI_FAMILY [in SimpleIO.IO_Unix]
OUnix.EACCES [in SimpleIO.IO_Unix]
OUnix.EADDRINUSE [in SimpleIO.IO_Unix]
OUnix.EADDRNOTAVAIL [in SimpleIO.IO_Unix]
OUnix.EAFNOSUPPORT [in SimpleIO.IO_Unix]
OUnix.EAGAIN [in SimpleIO.IO_Unix]
OUnix.EALREADY [in SimpleIO.IO_Unix]
OUnix.EBADF [in SimpleIO.IO_Unix]
OUnix.EBUSY [in SimpleIO.IO_Unix]
OUnix.ECHILD [in SimpleIO.IO_Unix]
OUnix.ECONNABORTED [in SimpleIO.IO_Unix]
OUnix.ECONNREFUSED [in SimpleIO.IO_Unix]
OUnix.ECONNRESET [in SimpleIO.IO_Unix]
OUnix.EDEADLK [in SimpleIO.IO_Unix]
OUnix.EDESTADDRREQ [in SimpleIO.IO_Unix]
OUnix.EDOM [in SimpleIO.IO_Unix]
OUnix.EEXIST [in SimpleIO.IO_Unix]
OUnix.EFAULT [in SimpleIO.IO_Unix]
OUnix.EFBIG [in SimpleIO.IO_Unix]
OUnix.EHOSTDOWN [in SimpleIO.IO_Unix]
OUnix.EHOSTUNREACH [in SimpleIO.IO_Unix]
OUnix.EINPROGRESS [in SimpleIO.IO_Unix]
OUnix.EINTR [in SimpleIO.IO_Unix]
OUnix.EINVAL [in SimpleIO.IO_Unix]
OUnix.EIO [in SimpleIO.IO_Unix]
OUnix.EISCONN [in SimpleIO.IO_Unix]
OUnix.EISDIR [in SimpleIO.IO_Unix]
OUnix.ELOOP [in SimpleIO.IO_Unix]
OUnix.EMFILE [in SimpleIO.IO_Unix]
OUnix.EMLINK [in SimpleIO.IO_Unix]
OUnix.EMSGSIZE [in SimpleIO.IO_Unix]
OUnix.ENAMETOOLONG [in SimpleIO.IO_Unix]
OUnix.ENETDOWN [in SimpleIO.IO_Unix]
OUnix.ENETRESET [in SimpleIO.IO_Unix]
OUnix.ENETUNREACH [in SimpleIO.IO_Unix]
OUnix.ENFILE [in SimpleIO.IO_Unix]
OUnix.ENOBUFS [in SimpleIO.IO_Unix]
OUnix.ENODEV [in SimpleIO.IO_Unix]
OUnix.ENOENT [in SimpleIO.IO_Unix]
OUnix.ENOEXEC [in SimpleIO.IO_Unix]
OUnix.ENOLCK [in SimpleIO.IO_Unix]
OUnix.ENOMEM [in SimpleIO.IO_Unix]
OUnix.ENOPROTOOPT [in SimpleIO.IO_Unix]
OUnix.ENOSPC [in SimpleIO.IO_Unix]
OUnix.ENOSYS [in SimpleIO.IO_Unix]
OUnix.ENOTCONN [in SimpleIO.IO_Unix]
OUnix.ENOTDIR [in SimpleIO.IO_Unix]
OUnix.ENOTEMPTY [in SimpleIO.IO_Unix]
OUnix.ENOTSOCK [in SimpleIO.IO_Unix]
OUnix.ENOTTY [in SimpleIO.IO_Unix]
OUnix.ENXIO [in SimpleIO.IO_Unix]
OUnix.EOPNOTSUPP [in SimpleIO.IO_Unix]
OUnix.EOVERFLOW [in SimpleIO.IO_Unix]
OUnix.EPERM [in SimpleIO.IO_Unix]
OUnix.EPFNOSUPPORT [in SimpleIO.IO_Unix]
OUnix.EPIPE [in SimpleIO.IO_Unix]
OUnix.EPROTONOSUPPORT [in SimpleIO.IO_Unix]
OUnix.EPROTOTYPE [in SimpleIO.IO_Unix]
OUnix.ERANGE [in SimpleIO.IO_Unix]
OUnix.EROFS [in SimpleIO.IO_Unix]
OUnix.ESHUTDOWN [in SimpleIO.IO_Unix]
OUnix.ESOCKTNOSUPPORT [in SimpleIO.IO_Unix]
OUnix.ESPIPE [in SimpleIO.IO_Unix]
OUnix.ESRCH [in SimpleIO.IO_Unix]
OUnix.ETIMEDOUT [in SimpleIO.IO_Unix]
OUnix.ETOOMANYREFS [in SimpleIO.IO_Unix]
OUnix.EUNKNOWNERR [in SimpleIO.IO_Unix]
OUnix.EWOULDBLOCK [in SimpleIO.IO_Unix]
OUnix.EXDEV [in SimpleIO.IO_Unix]
OUnix.E2BIG [in SimpleIO.IO_Unix]
OUnix.IPV6_ONLY [in SimpleIO.IO_Unix]
OUnix.Mk_addr_info [in SimpleIO.IO_Unix]
OUnix.MSG_PEEK [in SimpleIO.IO_Unix]
OUnix.MSG_DONTROUTE [in SimpleIO.IO_Unix]
OUnix.MSG_OOB [in SimpleIO.IO_Unix]
OUnix.PF_INET6 [in SimpleIO.IO_Unix]
OUnix.PF_INET [in SimpleIO.IO_Unix]
OUnix.PF_UNIX [in SimpleIO.IO_Unix]
OUnix.SOCK_SEQPACKET [in SimpleIO.IO_Unix]
OUnix.SOCK_RAW [in SimpleIO.IO_Unix]
OUnix.SOCK_DGRAM [in SimpleIO.IO_Unix]
OUnix.SOCK_STREAM [in SimpleIO.IO_Unix]
OUnix.SO_SNDTIMEO [in SimpleIO.IO_Unix]
OUnix.SO_RCVTIMEO [in SimpleIO.IO_Unix]
OUnix.SO_ACCEPTCONN [in SimpleIO.IO_Unix]
OUnix.SO_OOBINLINE [in SimpleIO.IO_Unix]
OUnix.SO_DONTROUTE [in SimpleIO.IO_Unix]
OUnix.SO_KEEPALIVE [in SimpleIO.IO_Unix]
OUnix.SO_REUSEADDR [in SimpleIO.IO_Unix]
OUnix.SO_BROADCAST [in SimpleIO.IO_Unix]
OUnix.SO_DEBUG [in SimpleIO.IO_Unix]
OUnix.TCP_NODELAY [in SimpleIO.IO_Unix]
OUnix.Time.Microsec [in SimpleIO.IO_Unix]
OUnix.Time.Seconds [in SimpleIO.IO_Unix]
Inductive Index
O
OUnix.error [in SimpleIO.IO_Unix]OUnix.getaddrinfo_option [in SimpleIO.IO_Unix]
OUnix.msg_flag [in SimpleIO.IO_Unix]
OUnix.sockaddr [in SimpleIO.IO_Unix]
OUnix.socket_float_option [in SimpleIO.IO_Unix]
OUnix.socket_bool_option [in SimpleIO.IO_Unix]
OUnix.socket_type [in SimpleIO.IO_Unix]
OUnix.socket_domain [in SimpleIO.IO_Unix]
OUnix.Time.time [in SimpleIO.IO_Unix]
Projection Index
O
OUnix.ai_canonname [in SimpleIO.IO_Unix]OUnix.ai_addr [in SimpleIO.IO_Unix]
OUnix.ai_protocol [in SimpleIO.IO_Unix]
OUnix.ai_socktype [in SimpleIO.IO_Unix]
OUnix.ai_family [in SimpleIO.IO_Unix]
Instance Index
A
Applicative_IO [in SimpleIO.IO_Monad]F
Functor_IO [in SimpleIO.IO_Monad]M
MonadFix_IO [in SimpleIO.IO_MonadFix]Monad_IO [in SimpleIO.IO_Monad]
Abbreviation Index
I
IO.Notations.delay [in SimpleIO.IO_Monad]Record Index
O
OUnix.addr_info [in SimpleIO.IO_Unix]Definition Index
A
ascii_of_char [in SimpleIO.IO_RawChar]C
char_of_ascii [in SimpleIO.IO_RawChar]D
decr_ref_nat [in SimpleIO.IO_UnsafeNat]E
exit_nat [in SimpleIO.IO_UnsafeNat]I
incr_ref_nat [in SimpleIO.IO_UnsafeNat]input_line' [in SimpleIO.IO_RawChar]
input_ascii [in SimpleIO.IO_RawChar]
input_byte_nat [in SimpleIO.IO_UnsafeNat]
IO.loop [in SimpleIO.IO_Monad]
IO.map [in SimpleIO.IO_Monad]
IO.while_loop [in SimpleIO.IO_Monad]
O
OUnix.Time.setsock_timeout [in SimpleIO.IO_Unix]OUnix.Time.time_as_seconds [in SimpleIO.IO_Unix]
output_byte_nat [in SimpleIO.IO_UnsafeNat]
output_nat [in SimpleIO.IO_UnsafeNat]
P
prerr_nat [in SimpleIO.IO_UnsafeNat]print_nat [in SimpleIO.IO_UnsafeNat]
R
read_line' [in SimpleIO.IO_RawChar]read_nat_opt [in SimpleIO.IO_UnsafeNat]
read_nat [in SimpleIO.IO_UnsafeNat]
| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (455 entries) |
| Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (17 entries) |
| Binder Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (92 entries) |
| Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (12 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (15 entries) |
| Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (178 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (101 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (9 entries) |
| Projection Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (5 entries) |
| Instance Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (4 entries) |
| Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1 entry) |
| Record Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1 entry) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (20 entries) |