A DSL to organize functor applications.
Parameter #1 Functoria_app . Make . P
val prelude : string

Prelude printed at the beginning of

It should put in scope:

  • a run function of type 'a t -> 'a
  • a return function of type 'a -> 'a t
  • a >>= operator of type 'a t -> ('a -> 'b t) -> 'b t
val name : string

Name of the custom DSL.

val version : string

Version of the custom DSL.

create jobs is the top-level job in the custom DSL which will execute the given list of job.