package codex

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

Module Build.Mu_FormalSource

Sourceval intro : level:int -> actual:'a t -> actual_cond:Operator.Function_symbol.boolean t -> 'a Operator.Function_symbol.typ -> 'a t