(* Argument is domain to describe, over all nodes. *)
datatype description =
- Filename of { filename : string, heading : string }
+ Filename of { filename : string, heading : string, showEmpty : bool }
| Extension of { extension : string, heading : string -> string }
val considerAll : description list -> subject -> string