Module Input.Hidden

type 'a input = 'a t
type 'key t =
  1. | T : {
    1. input : 'input;
    2. type_id : 'input input;
    3. key : 'key;
    } -> 'key t
val unit : unit t input
val int : int t option input