fork download
  1. type 'a t = 'a list
  2. type ('a, 'b) result = Ok of 'a | Error of 'b
  3. let nosib (t : 'a t) =
  4. match t with
  5. | [] -> Ok (t : [`No_siblings] t)
  6. | _ -> Error `Has_siblings
  7.  
Success #stdin #stdout 0.02s 2736KB
stdin
Standard input is empty
stdout
Standard output is empty