Parameter Make_named_for_closure.1-X

type 'a input
type 'a output
type 'a t = 'a input -> 'a output