sig
  val empty_app : Syntax.exp -> Syntax.application
  val named : string -> Syntax.exp -> Syntax.named_arg
  val no_comment : Syntax.comment
  val unannotated : 'a -> 'a Syntax.annotated
  val uncommented : 'a -> 'a Syntax.commented
  val no_modification : Syntax.modification
  val no_def_options : Syntax.definition_options
  val empty_def : Syntax.definition_structure
  val no_type_options : Syntax.typedef_options
  val empty_typedef : unit Syntax.typedef_struct
  val empty_behavior : Syntax.behavior
  val empty_elements : Syntax.elements
  val empty_composition : Syntax.composition
  exception EmptyName
  val name : string list -> Syntax.exp
  val type_name : string list -> Syntax.texp
end