module Make_output: functor (Model : Sosa.OUTPUT_MODEL) -> Model
functor (
Model
:
Sosa.OUTPUT_MODEL
) ->