(* 
 * concepts.sml - Random concepts
 *   Ronald Garcia
 * $Id: concepts.sml,v 1.2 2003/05/02 20:03:37 jewillco Exp $
 *)

(* Copyright 2003, Trustees of Indiana University
 * Please see the license in the file ../LICENSE
 *)

signature BinaryPredicateSig =
sig
    type data_t
    type first_t
    type second_t
    val go : data_t -> first_t -> second_t -> bool
end

signature StrictWeakOrderingSig =
sig
    type data_t
    type arg_t
    val go : data_t -> arg_t -> arg_t -> bool
end

signature BinaryFunctionSig =
sig
    type data_t
    type result_t
    type first_t
    type second_t
    val go : data_t -> first_t -> second_t -> result_t
end