package MlFront_Thunk

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module BuildSystems.ImmutableTasksBuilderSource

Static build tasks that are stored in memory.

Parameters

module V : ABSTRACT_TYPE
module O : ORIGIN_WITH_DEPTH with type k = K.t

Signature

Sourceval create : (K.t * ((O.t -> K.t -> V.t C.t) -> V.t C.t)) list -> (module TASKS with type k = K.t and type lifted_vc = V.t C.t and type o = O.t and type vc = V.t C.t)

create tasklist creates build tasks from the static list of (key,task), ... key task pairs. The keys must be unique.