import { TermFn, PList } from "../../../PTypes/index.js";
import { TermType, ToPType } from "../../../type_system/index.js";
export declare function _pstrictChooseList<ListElemT extends TermType, ReturnT extends TermType>(listElemT: ListElemT, returnT: ReturnT): TermFn<[PList<ToPType<ListElemT>>, ToPType<ReturnT>, ToPType<ReturnT>], ToPType<ReturnT>>;
export declare function _phead<ListElemT extends TermType>(listElemType: ListElemT): TermFn<[PList<ToPType<ListElemT>>], ToPType<ListElemT>>;
export declare function _ptail<ListElemT extends TermType>(listElemT: ListElemT): TermFn<[PList<ToPType<ListElemT>>], PList<ToPType<ListElemT>>>;