extracted/relations.ml

   1 open Preamble
   2
   3 open Hints_declaration
   4
   5 open Core_notation
   6
   7 open Pts
   8
   9 open Logic
  10
  11 type 'x predicate = __
  12
  13 type 'x relation = __
  14
  15 type ('x0, 'x) relation2 = __
  16
  17 type ('x1, 'x0, 'x) relation3 = __
  18
  19 (** val compose : ('a2 -> 'a3) -> ('a1 -> 'a2) -> 'a1 -> 'a3 **)
  20 let compose f g x =
  21   f (g x)
  22
  23 type ('x0, 'x) bi_relation = __
  24