Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module type IFSEQ_BASIC = sig ... end
A signature for implicit finite sequences.
module type IFSEQ_EXTENDED = sig ... end
This signature extends IFSEQ_BASIC
with more operations.