open Synprs_definition

val explicit_arguments_lf_kind : lf_object -> int

val explicit_arguments_lf_typ : lf_object -> int

val explicit_arguments_comp_kind : comp_sort_object -> int

val explicit_arguments_comp_typ : comp_sort_object -> int
