Module Functor.F1

Parameters

module Arg : S

Signature

type t