package alba

You can search for identifiers within the package.

in-package search v0.2.0

Alba compiler

Install

dune-project

Dependency

sha256=062f33c55ef39706c4290dff67d5a00bf009051fd757f9352be527f629ae21fc

md5=eb4edc4d6b7e15b83d6397bd34994153

Sourceval start : int -> t -> t

start nargs bc Start a function application with nargs arguments.

val apply : 
  int ->
  Alba_core.Term.Application_info.t ->
  t ->
  (t, type_in_context * type_in_context) result

apply n_remaining mode bc Apply the function to the argument. There are n_remaining remaining arguments.