sig
  val mk_linear_order :
    Z3.context -> Z3.Sort.sort -> int -> Z3.FuncDecl.func_decl
  val mk_partial_order :
    Z3.context -> Z3.Sort.sort -> int -> Z3.FuncDecl.func_decl
  val mk_piecewise_linear_order :
    Z3.context -> Z3.Sort.sort -> int -> Z3.FuncDecl.func_decl
  val mk_tree_order :
    Z3.context -> Z3.Sort.sort -> int -> Z3.FuncDecl.func_decl
  val mk_transitive_closure :
    Z3.context -> Z3.FuncDecl.func_decl -> Z3.FuncDecl.func_decl
end