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