Module Sl_unify

module Sl_unify: sig .. end

This module specialises the generic Unification module to the SL instantiation of cyclist and provides extra functionality to support the unification of its various elements

module type S = sig .. end

module Unidirectional: sig .. end

module Bidirectional: sig .. end