||| "order preserving embeddings", for recording a correspondence between
||| a smaller scope and part of a larger one.
module Quox.OPE

import public Quox.OPE.Basics
import public Quox.OPE.Length
import public Quox.OPE.Sub
import public Quox.OPE.Split
import public Quox.OPE.Comp
import public Quox.OPE.Cover