package morbig

  1. Overview
  2. Docs
val is_name : string -> bool

This definition implies that a name is not empty.