sig
  type t = Yes of Jst.jst | No of Jst.jst | X
  val to_three :
    Jst.jst list Pervasives.ref ->
    ('a -> 'b -> Jst.Three.t) -> 'a -> 'b -> Three.t
  val of_three : ('a -> Three.t) -> 'a -> Jst.Three.t
end