Index of modules
C
CharSet
[
Flx_mtypes2
]
F
Flx_ast
Types used in the Felix compiler
Flx_axiom
Flx_bbind
Flx_beta
Flx_bexe
Flx_call
Flx_cexpr
Flx_cflow
Flx_cformat
Flx_charset
Flx_child
Flx_colns
Flx_constfld
Flx_csubst
Flx_ctorgen
Flx_ctype
Flx_ctypes
Flx_desugar
Flx_dfa
Flx_display
Flx_dlst
Flx_egen
Flx_elkgen
Flx_exceptions
Flx_filesys
Flx_flxopt
Flx_foldvars
Flx_gen
Flx_generic
Flx_getopt
Flx_global
Flx_id
Flx_inline
Flx_inst
Flx_keywords
Flx_label
Flx_lex
Flx_lex1
Flx_lexstate
Flx_lookup
This routine takes an unbound type term and binds it.
Flx_macro
expand_expr
is a special hook used to perform constant folding and desugaring in the preprocessor
Flx_maps
Flx_mbind
Flx_mkcls
Flx_mono
Flx_mtypes1
Flx_mtypes2
Flx_name
mangle a Felix identifier to a C one
Flx_ogen
Flx_overload
Flx_parse
Flx_parse_ctrl
Flx_pat
Flx_pgen
Flx_prelex
Flx_preproc
Flx_pretok
Flx_print
Flx_prop
Flx_reduce
Flx_regen
Flx_reparent
Flx_spexes
Flx_srcref
Flx_stack_calls
Flx_strabs
Flx_string
Flx_symtab
Flx_tailit
Flx_tconstraint
Flx_terminate
Misc compiler utilities
Flx_tgen
Flx_tok
Flx_tpat
Flx_treg
Flx_typeclass
Flx_types
value typing
Flx_typing
Flx_typing2
Flx_unify
this module provides type unification and utilities
Flx_unravel
Flx_use
Flx_util
Generic utilities
Flx_version
Flx_why
FunInstSet
[
Flx_typing
]
FuntypeSet
[
Flx_typing
]
I
Inria_cset
Inria_lexgen
Inria_syntax
Inria_table
IntHashtbl
[
Flx_mtypes1
]
IntSet
[
Flx_mtypes1
]
IntSetSet
[
Flx_mtypes1
]
P
PosSet
[
Flx_mtypes2
]
PosSetSet
[
Flx_mtypes2
]
S
StringMap
[
Flx_mtypes1
]
StringSet
[
Flx_mtypes1
]
T
TypecodeSet
[
Flx_mtypes2
]
V
VarMap
[
Flx_mtypes2
]