sig
  val identity : ('-> 'a) option
  val quote : (string -> string) option
  val is_true : string -> bool
end