Module Functor.F4

Parameters

module Arg : S

Signature

type t