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