15.4.831  src/lib/prettyprint/big/devices/string-token.pkg

## string-token.pkg
## A trivial implementation of tokens as strings w/o style information.

# Compiled by:
#     src/lib/prettyprint/big/devices/prettyprint-devices.sublib

package   string_token
: (weak)  Prettyprint_Token     # Prettyprint_Token     is from   src/lib/prettyprint/big/src/prettyprint-token.api
{
    Style = Void;
    Token = String;
    fun string s = s;
    fun style _ = ();
    fun size s = string::length s;
};


## COPYRIGHT (c) 1998 Bell Labs, Lucent Technologies.
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2013,
## released per terms of SMLNJ-COPYRIGHT.