internal static int PL_unify_wchars(uintptr_t t1, SwiPrologTermType type, int len, string wchars)
{
//Check.Require(type == PlType.PlAtom || type == PlType.PlString || type == PlType.PlCharList || type == PlType.PlCodeList);
Contract.Requires(type == SwiPrologTermType.Atom || type == SwiPrologTermType.String || type == SwiPrologTermType.CharList || type == SwiPrologTermType.CodeList);
return(SafeNativeMethods.PL_unify_wchars(t1, (int)type, len, wchars));
}
internal static int PL_unify_wchars(uintptr_t t1, SwiPrologTermType type, string wchars)
{
return(PL_unify_wchars(t1, type, wchars.Length, wchars));
}
