Module Build.Mu_Formal

val intro : level:int -> actual:'a t -> actual_cond:Transfer_functions.Term.boolean t -> 'a Transfer_functions.Term.typ -> 'a t