Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
equal_group_elt a b
checks a
and b
for equality in constant time.
equal_integer a b
checks a
and b
for equality in constant time.
base n
computes the scalar product of a standard group element and an integer n
.
module type S = sig ... end