module Id_intf: sig .. end
Interfaces for Identifiers.
This module defines Interfaces that implementation of identifiers must
respect in order to be used to instantiated the corresponding
language classes.
Signature for Logic languages
module type Logic = sig .. end