sig
  val 'delaunayfy : del -> any -> del
  val 'graphify : collection -> grf
  val 'isomorphism : del -> del -> bool
  val 'achain : any -> bool
  val 'achainify : collection -> achain
  val 'set : any -> bool
  val 'seq : any -> bool
  val 'sequify : scalar -> seq
  val 'record : any -> bool
  val 'qmf : any -> bool
  val 'gbf : any -> bool
  val 'bag : any -> bool
  val 'monoidal : any -> bool
  val 'leibniz : any -> bool
  val 'newton : any -> bool
  val 'collection : any -> bool
  val 'collection_name : any -> bool
  val 'pospredicate_from_coll : collection -> funct
  val 'empty_from_coll : collection -> collection
  val 'predicate_from_coll : collection -> funct
  val 'set_color : collection -> collection -> collection
  val 'size : any -> int
  val 'empty : collection -> bool
  val 'extension : string -> seq -> collection
  val 'hd : collection -> any
  val 'tl : collection -> collection
  val 'last : collection -> any
  val 'take : collection -> any -> any
  val 'sort : funct -> collection -> seq
  val 'map : funct -> collection -> collection
  val 'fold : funct -> any -> collection
  val 'iter : funct -> collection -> undef
  val 'iter_indexed : funct -> collection -> undef
  val 'map_indexed : funct -> collection -> collection
  val 'fold_indexed :
    funct -> any -> collection -> any
  val 'forall : funct -> collection -> bool
  val 'exists : funct -> collection -> bool
  val 'count : any -> collection -> int
  val 'member : any -> collection -> bool
  val 'shape : collection -> funct
  val 'neighbors : collection -> any -> seq
  val 'neighborspos : collection -> any -> seq
  val 'neighbor : gbf -> seq -> seq
end