Skip to content

env: Unifier

Eugene Lazutkin edited this page Dec 28, 2021 · 4 revisions

This is a technical class that is used as a marker (a base) for all unifiers. It defines no properties or methods. It is only purpose is to be used in the implementation of isUnifier().

It is defined in env and can be accessed like that:

import {Unifier} from 'deep6/env.js';

The current definition:

class Unifier {}
Clone this wiki locally