Functor Validated_intf.S.Make_binable

module Make_binable: 
functor (Raw : Validated_intf.Raw_binable) -> Validated_binable  with type raw := Raw.t

include Validated_intf.Validated

include ??