let
is_comp comp e =
F
.p_app1 (
IsComp
.get_definition comp).d_name e