Module Term_intf

module Term_intf: sig .. end

Interfaces for Terms. This module defines Interfaces that implementation of terms must respect in order to be used to instantiated the corresponding language classes.

module type Logic = sig .. end