Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Runtime : sig ... end
This module provides runtime support for Bisect. Instrumented programs should hence be linked with this module.