Module Control


module Control: sig .. end

module Make: 
functor (A : Model.S) -> sig .. end