Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
This module implements a trampoline for deeply recursive functions, most useful for the bytecode interpreter and JavaScript targets.
module type Trampoline = sig ... end
The type of a trampoline that doesn't use the stack for recursive computation.
module Trampoline : Trampoline
This is a real trampoline implementation.
module Not_a_trampoline : Trampoline
If you don't want to use trampolines because you're sure that your stack is large enough but you have a functor that depends on the Trampoline module then you can use Not_a_trampoline to use the stack instead of trampolines.