Functor Validated_intf.S.Make_binable

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

include Validated_intf.Validated
include ??