Module Id_intf

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.

module type Logic = sig .. end