Classes
class	ClosLit
	Wrapper around a Def that can be used to match closures (see isa_clos_lit). More...
class	BranchClosElim
class	Clos2SJLJ
class	ClosConvPrep
class	LowerTypedClosPrep
class	FreeDefAna
	Transitively compute free Def's on demand. More...
class	ClosConv
	Performs typed closure conversion. More...
class	LowerTypedClos
	This pass lowers typed closures to untyped closures. More...

Enumerations
%clos.BufPtr
enum class	BufPtr : flags_t
%clos.alloc_jmpbuf
enum class	alloc_jmpbuf : flags_t
%clos.setjmp
enum class	setjmp : flags_t
%clos.longjmp
enum class	longjmp : flags_t
%clos.clos_conv_prep_pass
enum class	clos_conv_prep_pass : flags_t
%clos.branch_clos_pass
enum class	branch_clos_pass : flags_t
%clos.lower_typed_clos_prep_pass
enum class	lower_typed_clos_prep_pass : flags_t
%clos.clos2sjlj_pass
enum class	clos2sjlj_pass : flags_t
%clos.clos_conv_phase
enum class	clos_conv_phase : flags_t
%clos.lower_typed_clos_phase
enum class	lower_typed_clos_phase : flags_t

Functions
DefSet	free_defs (const Nest &nest)
void	register_normalizers (Normalizers &normalizers)
Closures
ClosLit	isa_clos_lit (const Def *def, bool fn_isa_lam=true)
	Tries to match a closure literal.
const Def *	clos_pack (const Def env, const Def fn, const Def *ct=nullptr)
	Pack a typed closure. This assumes that `fn` expects the environment as its Clos_Env_Paramth argument.
std::tuple< const Def , const Def , const Def * >	clos_unpack (const Def *c)
	Deconstruct a closure into (env_type, function, env).
const Def *	clos_apply (const Def closure, const Def args)
	Apply a closure to arguments.
const Def *	apply_closure (const Def *closure, Defs args)
template<class N>
std::tuple< const Extract , N >	ca_isa_var (const Def *def)
	Checks is def is the variable of a mut of type N.
Closure Types
const Sigma *	isa_clos_type (const Def *def)
Sigma *	clos_type (const Pi *pi)
	Creates a typed closure type from `pi`.
const Pi *	clos_type_to_pi (const Def ct, const Def new_env_type=nullptr)
	Convert a closure type to a Pi, where the environment type has been removed or replaced by `new_env_type` (if `new_env_type` != `nullptr`).

Variables
static constexpr plugin_t	Plugin_Id = 0x10d4140000000000

%clos.attr
enum class	attr : flags_t { returning = 0x10d4140000000400 , freeBB = 0x10d4140000000401 , fstclassBB = 0x10d4140000000402 , esc = 0x10d4140000000403 , bottom = 0x10d4140000000404 }
template<attr o>
const Def *	normalize_clos (const Def , const Def , const Def *arg)

Closure Environment
static constexpr size_t	Clos_Env_Param = 1_u64
	Describes where the environment is placed in the argument list.
size_t	shift_env (size_t i)
size_t	skip_env (size_t i)
const Def *	ctype (World &w, Defs doms, const Def *env_type=nullptr)
const Def *	clos_insert_env (size_t i, const Def env, std::function< const Def (size_t)> f)
const Def *	clos_insert_env (size_t i, const Def env, const Def a)
const Def *	clos_insert_env (const Def env, const Def tup_or_sig)
const Def *	clos_remove_env (size_t i, std::function< const Def *(size_t)> f)
const Def *	clos_remove_env (size_t i, const Def *def)
const Def *	clos_remove_env (const Def *tup_or_sig)
const Def *	clos_sub_env (const Def tup_or_sig, const Def new_env)