module Funbehavior: S_with_pretty with type t = funbehavior
S_with_pretty
with type t = funbehavior
include S