Utils on functions
type 'a t
= 'a fun_
val print : _ t Print.t
val shrink : _ t Shrink.t
val apply : 'f t ‑> 'f