/* 0.26.0-alpha2 */
import type { PrimitiveType, Type, TypeCompatibility, TypeString } from './types';
/** Return true if lhs is a subtype of rhs */
export declare function isPrimitiveSubtype(lhs: PrimitiveType, rhs: PrimitiveType): boolean;
/** Return true if lhs is a subtype of rhs */
export declare function isSubtype(lhs: Type | TypeString, rhs: Type | TypeString): boolean;
export declare function isCompatible(lhs: PrimitiveType, rhs: PrimitiveType, compatibility: TypeCompatibility): boolean;