Module Jst.Three

module Three: sig  end

Justifying ternary relations.

val to_three : Jst.jst list Pervasives.ref ->
       ('a -> 'b -> t) -> 'a -> 'b -> Three.t

to_three fcts p a accumulate facts in the result of p a in global variable fcts and returns a corresponding result of type Three.t.

val of_three : ('a -> Three.t) -> 'a -> t