Plasma GitLab Archive
Projects Blog Knowledge

Module type Netplex_cenv.FUN_TYPE


module type FUN_TYPE = sig .. end
Abstraction for function types s->t

type s 
argument type
type r 
result type
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml