Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package inferno
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Inferno.UnifierSource
Source
module Make
(S : UnifierSig.STRUCTURE) :
UnifierSig.UNIFIER with type 'a structure = 'a S.structure