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