colibrilib

A library of domains and propagators proved in Why3
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library colibrilib
Module Colibrilib
module QUtils : sig ... end

Add some useful function to Q of zarith

module Interval : sig ... end
module Ord : sig ... end