Session using fptype.mod

?- sigma Exp\(prog Name Exp, infer Exp Type).

Type = num arr num,
Name = "successor".
;

Type = num arr B arr B arr B,
Name = "onep".
;

Type = (B1 arr B1 arr A) arr B1 arr B1 arr bool,
Name = "is_sym".
;

Type = num arr num,
Name = "fib".
;

Type = (A1 arr A2) arr lst A1 arr lst A2,
Name = "map".
;

Type = A3 arr lst A3 arr bool,
Name = "mem".
;

Type = lst A4 arr lst A4 arr lst A4,
Name = "app".
;

Type = A5 arr B2 arr B2,
Name = "ex4".
;

Type = A6 arr A6,
Name = "i".
;

Type = A7 arr B3 arr A7,
Name = "k".
;

Type = (B4 arr A8 arr B5) arr (B4 arr A8) arr B4 arr B5,
Name = "s".
;

Type = (A9 arr B6) arr (B7 arr A9) arr B7 arr B6,
Name = "comp".
;
no more solutions
?-