let
true_literal : literal =
request_literal
true
(request_const (
Symbol
.create_predicate
"true"
0))