codex.syntax_tree
Syntax_tree
Type_parser
codex
codex.bdd
codex.binarytrace
codex.cfg
codex.codex_config
codex.codex_log
codex.compressor
codex.condition_map
codex.datatype_sig
codex.domains
codex.emit_alarm
codex.extstdlib
codex.file_to_html
codex.fixpoint
codex.framac_ival
codex.gui
codex.hashing
codex.het-hashtbl
codex.hook
codex.int_builtins
codex.interval_map
codex.lattices
codex.online_nearest_common_ancestor_skiplist
codex.operator
codex.record_time
codex.single_value_abstraction
codex.smallmap
codex.smtbackend
codex.stats
codex.terms
codex.tracelog
codex.treemap
codex.types
codex.union_find
codex.units
codex.utils
codex.while_ast
codex.whilelib
immutable_array
interface
ppx_while
type_parse_tree
type ar1_format = {
prefix : string;
suffix : string;
}
type ar2_format = {
middle : string;
type ar3_format = {
middle1 : string;
middle2 : string;
type expr =
| Ar0 of {
s : string;
| Ar1 of {
format : ar1_format;
arg : expr;
| Ar2 of {
format : ar2_format;
arg1 : expr;
arg2 : expr;
| Ar3 of {
format : ar3_format;
arg3 : expr;
| Ite of {
cond : expr;
then_expr : expr;
else_expr : expr;
val arity : expr -> int
val equal_expr : expr -> expr -> bool
type expr_path = int list
val string_of_expr : expr -> string
val hashcons : expr -> expr
module Location_identifier : sig ... end
type 'a located = 'a * 'a Location_identifier.t