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 `Colibrilib.QUtils`Source

Add some useful function to Q of zarith

Sourceval floor : Q.t -> Z.t

floor a return the greatest integer smaller or equal than a

Sourceval ceil : Q.t -> Z.t

ceil a return the smallest integer greater or equal than a

Sourceval divisible_down_to : Q.t -> Q.t -> Q.t

divisible_down_to a m return the greatest multiple of m smaller or equal than a

Sourceval divisible_up_to : Q.t -> Q.t -> Q.t

divisible_down_to a m return the smallest multiple of m greater or equal than a

Sourceval divisible : Q.t -> Q.t -> bool

divisible a b test if a is divisible by b

Sourceval mult_cst_divisible : Q.t -> Q.t -> Q.t

mult_cst_divisible a b

Sourceval union_divisible : Q.t -> Q.t -> Q.t

Sourceval inter_divisible : Q.t -> Q.t -> Q.t