module Result : sig ... end