package colibrilib

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Make.ED`Source

Sourceval compare_interval : Q.t -> Map.input_interval -> Ord.t

Sourceval near_r : Q.t -> Map.input_interval -> Ord.t

Sourceval get_min : Map.input_interval -> Map.qbound

Sourceval get_max : Map.input_interval -> Map.qbound

Sourceval fmap_div : unit -> Map.fmap

Sourceval div_e_forward_bak : t -> t -> t

Sourceval div_e_forward : t -> t -> t

Sourceval mod_e_forward : t -> t -> t

Sourceval mod_e_backward_num : t -> t -> t -> t option

Sourceval div_t_forward : t -> t -> t

Sourceval mod_t_forward : t -> t -> t

Sourceval mod_t_backward_num : t -> t -> t -> t option

Sourceval div_f_forward : t -> t -> t

Sourceval mod_f_forward : t -> t -> t

Sourceval mod_f_backward_num : t -> t -> t -> t option