sig
  val 'acell : any -> bool
  val 'string2undef : string -> undef
  val 'undef2string : undef -> string
  val 'val2bool : any -> bool
  val 'not : any -> bool
  val and_and : any -> any -> bool
  val || : any -> any -> bool
  val 'string_length : string -> int
  val 'string_get : string -> int -> string
  val 'string_make : int -> string -> string
  val 'string_sub : string -> int -> int -> string
  val 'string_index : string -> string -> int
  val 'string_rindex : string -> string -> int
  val 'string_index_from :
    string -> int -> string -> int
  val 'string_rindex_from :
    string -> int -> string -> int
  val 'string_contains : string -> string -> bool
  val 'string_contains_from :
    string -> int -> string -> bool
  val 'string_rcontains_from :
    string -> int -> string -> bool
  val 'gensym : symbol -> symbol
  val 'ncell : any -> bool
  val 'gmap : any -> bool
  val 'posgbf : any -> bool
end