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