ascii-superset-1.2.5.0: library/ASCII/Refinement.hs-boot

module ASCII.Refinement where

data ASCII superset

lift :: ASCII superset -> superset

asciiUnsafe :: superset -> ASCII superset