Helper Functions

The function dfirst_markc returns a dfirst_mark_cursor constructed from the object passed as argument. This object is allowed to be a model of DFA, forward cursor or stack cursor.