morbig

A trustworthy parser for POSIX shell
Module Morbig . Name
val is_name : string -> bool

This definition implies that a name is not empty.