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