of

Stream: new members

[Kenny Lau]

why is a -> b called b_of_a instead of say b_if_a?

[Yury G. Kudryashov]

I guess of works both for Prop-valued a and Type*-valued a.

[Chris Wong]

This is pure speculation, but could it be OCaml influence?

e.g. the string conversation functions on https://ocaml.org/releases/4.02/htmlman/libref/Pervasives.html

[Chris Wong]

Or maybe more likely Coq (which is influenced by and implemented in OCaml)