Module Proc.Computation

type 'a t