package scid
Legend:
Library
Module
Module type
Parameter
Class
Class type

SCID objects

module H : sig ... end
module R : sig ... end

Decoding

module D : sig ... end

Encoding

module E : sig ... end