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