functoria

A DSL to organize functor applications.
IN THIS PACKAGE

Misc

val err_cmdliner : ?usage:bool -> ( 'a, string ) Rresult.result -> 'a Cmdliner.Term.ret
module type Monoid = sig ... end
module Name : sig ... end

Generation of fresh names

module Codegen : sig ... end
module Univ : sig ... end

Universal map