module RE(module REDef, module RE) where

import REDef

inRL :: R -> String -> Bool
inRL r xs = consume r xs =:= ""

consume :: R -> String -> String
consume = error "TODO"