let
s_of_data comp = coerce_comp comp ; s_of_data comp